수학의 파괴와 재창조
게시글 주소: https://orbi.kr/00072605429
귀류법
1. (A가 거짓->모순)->(A가 증명있음)
1의 대우명제 2.
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명없음)->(A가 거짓)
3의대우명제 4
4. (A가 참)->(A가 증명있음)
--------------------------------------------------------------------------------
5. A가 공리->A가 증명없음
3과 5를 연결한 6
6. A가 공리->A가 거짓
6의 대우명제 7
7. A가 참->A가 공리아님
--------------------------------------------------------------------------------
8. A가 공리->A가 참
4와 8이 연결된 9
9. A가 공리->A가 증명있음
9의 대우명제 10
10. A가 증명없음->A가 공리아님
--------------------------------------------------------------------------------
난 9가 틀렸다고 봄
그리고 8도 틀림
왜냐하면 4와 8이 연결된게 9인데, 4는 귀류법이 옳다면 참일수 밖에 없다고 생각함
따라서 9와 8의 부정형이 참임
9의 부정형 11
11. A가 공리 and A가 증명없음
8의 부정형 12
12. A가 공리 and A가 거짓
12가 참이라는건
(A가 공리)<->(A가 거짓) 이라는 말임
공리면 거짓이고, 거짓이면 공리다
즉, 공리와 거짓이 동치라는 말
공리는 수학의 기반.
그 기반이 거짓이라는것..
그것은 [수학의 붕괴]
무모순<->참 이므로
대우명제는 모순<->거짓
따라서
공리=거짓=모순
공리=모순
모순이 포함된 체계는 모든 명제가 참이 될수있음..
즉,
결론
1. (공리=거짓=모순) 을 증명함
2. 모순이 있는 체계는 모든것이 참이 될수있음
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어떤거 어떤거 들어야 할까요? 불후의 명강-명불허전-도표통계mskill2?이거 다...
-
허콤 레콤 말고 메뉴이름이 교촌콤보
-
난 고1때 여친 사귀면서 친구 과외쌤이랑 파트너였음
-
9번 a 3인거 확인 후 6에서 거리곱 써서 구함 10번 보기 대입할 생각 못하고...
-
잠이안온다 ㅠㅠ
-
수학)이거 왜 이럼? 10
왜 이러나요...? 위끝아레끝이 같으면 피적분함수의 대수 관계도 같다는 게 이해가 안 돼요
-
몬스터를 마시고 5
운동을 해볼까아
-
잇올 4/1일부터 다니는데 6모 접수가 선착순이라서 걱정되네요… 이미 잇올 등록비는...
-
나 고수일지도 16
5모는 목표를 1등급으로 더욱 올려도 되겠군
-
도널드 트럼프 미국 대통령이 덴마크의 자치령인 그린란드를 겨냥해 "100% 우리가...
-
미쿠미쿠니시테아게루 11
미쿠미쿠
-
나 이화의인데.. 10
-
그거 아심? 3
내일부터 월요일 시작임.. 뭐 했다고 주말 끝나냐 ㄹㅇ
-
주관식 수열 8
수형도를 열심히 그리자
-
3모 조지고 의욕이 상실됨 댓글로 응원이라도 해주세요 9
국수영 544찍고… 집모에서는 낮2 낮2 낮3 나왔는데 브레인포그와서 걍 암것도 안...
-
나체로 하기 12
아침에 했는데 몸이 찝찝해
-
진자 죽고십다
-
3등급이 목표라는데 개념 쎈 기출 이렇게 시키면 되려나요... 어느정도 해야...
-
언매 중간 3등급정도에 영어 2등급 미적 100점에 사문지구 둘 다 1이면 서강대 시반공 ㄱㄴ한가요
-
21,29,30틀이면 머 푸는게 좋을까요 작수 공통은 20-22 틀렷어여 미적은...
-
주작 고백함 7
나 사실 게이아님
-
오리걸음 2km 투명의자 1시간 엎드려뻗쳐 3시간
-
숏컷이 뭐임 22
헤어스타일 말고 찾아보니까 헤어스타일 밖에 안 나와서 질문함
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
[단독] "피해 없어도 30만원"…경북 산불 재난지원금 논란 4
경상북도가 최근 산불 피해를 입은 5개 시·군 주민 전원에게 1인당 30만원의...
-
김승리 현강 대기 490번대 이후인데 들어갈 수 있을까요ㅠㅠ 파이널도 못 듣는 번호...
-
있어?
-
왠지 어느쪽이 진실인지 아무도 모르게 된 채로 금방 잊혀질거 같아서 무서움
-
상산고 언급되니까 갑자기 떠오르는 안좋은 추억... 3
중학교 내신 말아먹어서 상산고 입구컷당한 기억이 나네...
-
사실 나 여자임 4
아 아직 2일 남았나
-
19만원에 구매원합니다
-
딴건 다 좋은데 제2외국어 강의가 ㄹㅇ 개같음 ㄹㅇ ㅈ반고 시즌2 인줄 발음 ㅈㄴ...
-
평이 조금 안좋길래 질문드립니다
-
저도 죄송합니다 8
사실 안 죄송함
-
3모 100m 96점 15
21번 틀 이거 왜 258 아닌데
-
주작해서 죄송합니다. 10
사실 08년생 갓반고생이 아니라 08학번 깡시골 출생입니다...
-
볼게요 일단
-
는 늙어서 못 침
-
큰건 아닌데 좀 난처해짐
-
올해 04가 현역이냐 11
가물가물하네
-
2506 vs 이번 3모
-
이러면 안되는 거 아는데 나보다 잘하는 사람 보면 막 열등감 생기고 화나고 그럼....
-
무물보 4
-
솔직히 전 더 잘나올 줄 알았는데 다 풀긴 했는데 문제들에서 왜틀린지를 전혀...
-
뭐가 뭔지를 모르겠어 슈밤 이따 정리해서 글 올릴테니 한번만 봐주실 수 있나요
-
예아
-
죄송합니다 2
저 사실 팜하니 팬 아닙니다. 돈받고 알바한거였어요
-
빌 게이츠 "AI, 10년 내 의사·교사 대체할 것" 6
[서울=뉴시스]하다임 인턴 기자 = 마이크로소프트(MS) 공동 창업자이자 억만장자...
-
무슨 글을 쓰지 3
-
똥싸고 왔는데 같은 처지여서 속으로 많이 응원했던 게이가 떠나가노...
???:난 수학을 파괴하고 수학을 창조한다
누가했던말임?
세상을 파괴하고 세상을 창조한다
by 를르슈 비 브리타니아
좋네여
코드기어스 한번 정주행하시길 추천해여
어릴땐 애니 정주행 많이했는데 요즘은 뭐 길게 붙잡고 하는게 힘드네여..
그건 저도 그래여..하루에 2쿨씩 보고 그랬는데...