수학의 파괴와 재창조
게시글 주소: 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를 선물하세요.
-
담요단 쇼핑하고 왔어요 20
색깔 지우개 포스트잇 형광펜
-
어제 공대 나온 친구랑 만나서 얘기하다 나 수능 다시 치는거 알고 요즘은 수능 뭐...
-
"몸 싱싱한 20대 후반에 애 낳아라" 남교사 발언 도마에 14
[서울=뉴시스]노지원 인턴 기자 = 고등학교에서 수업 도중 여학생들에게 "여자의...
-
[성적 인증] https://orbi.kr/00071836019 [칼럼글 모음]...
-
이해를 못하겠네 내가 직모야서 그런가 고데기 안하면 걍 바가지임요.. 님들은 자연...
-
진짜 담요단 게이같음
-
밑 한문단만읽고 답변해주셔도됩니다!!! 결론부터 말씀 드리자면 4월부터 이원준쌤...
-
내가 하루종일 잇어서 잘 알고 잇음
-
다 팔취해야겠다 9
점메추 좀
-
A 속도 잡아서 가속도 동일로 연립 세우고 a가 3/2니까 b는 3만큼 운동에너지...
-
딴거 아예 유기는 좀 그러니까 하루 최소치를 정하겟음.1. 생2 개념강의 최소...
-
미팅 끝나고 3일 지났는데 지금 해도 됨?
-
흐물흐물 6
물컹물컹
-
에피 금지 센츄 금지 ㅠㅠ
-
강심잭스 8
간다.
-
"서울대 폐교"
-
우으 여우 8
자전거 타다가 여우비 맞음
???:난 수학을 파괴하고 수학을 창조한다
누가했던말임?
세상을 파괴하고 세상을 창조한다
by 를르슈 비 브리타니아
좋네여
코드기어스 한번 정주행하시길 추천해여
어릴땐 애니 정주행 많이했는데 요즘은 뭐 길게 붙잡고 하는게 힘드네여..
그건 저도 그래여..하루에 2쿨씩 보고 그랬는데...