수학의 파괴와 재창조
게시글 주소: 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를 선물하세요.
-
[스포] 25년 3월 고3 학평 국어 독서 사회·문화 지문 복습시 참조 1 2
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 오늘은 지난...
-
지인선 n제 좋나요 0 0
지금 풀고 있는데 문항들이 너무 난해한데 제 실력부족일까요 문해전 드릴드 끝내고...
-
리플 더 살까 0 1
흠...
-
-
솔직히 요즘은 옛날 기출 회의적임 13 0
18년도 이후는 풀만 하지만 그 전까지의 기출은 유형이 좀 많이 다르고 이미...
-
D-229, 삼수기록 #62 0 0
오늘은 저녁먹기 전까지 했는데 집중이 잘 됐네용
-
저는 웬만하면 과외비를 안올림 한 예시로 어떤 한 학생이랑 고1부터 지금 고3까지...
-
초등 저학년때까지는 0 0
반여론이 00이는 잘못한거 없어 쟤는 착하자나 이런류였는데,,,,,,
-
? 연구 주제: ? "지방 출신 N수생의 강남 재수 사교육 참여에 대한 질적...
-
이게뭐지 10 0
겁도없네 이사람은
???:난 수학을 파괴하고 수학을 창조한다
누가했던말임?
세상을 파괴하고 세상을 창조한다
by 를르슈 비 브리타니아
좋네여
코드기어스 한번 정주행하시길 추천해여
어릴땐 애니 정주행 많이했는데 요즘은 뭐 길게 붙잡고 하는게 힘드네여..
그건 저도 그래여..하루에 2쿨씩 보고 그랬는데...