수학의 파괴와 재창조
게시글 주소: 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를 선물하세요.
-
뭐? 인증메타가 사라졌다고? 18 2
어제 했는데 댓글에 못생겼다고 해서 ㅈㄴ 슬펐음 (저녁시간이라 오르비 잠깐 옴 다시 간다)
-
박석준 T 현강 들어보신분 3 0
3월 해설 강의들었는데 처음으로 뭔가 많이.느낀 거 같아서ㅜ현강 다닐라하는데 어떤가요??
-
나랑 같이 걸을래~ 2 0
혹시 내일은 뭐해~
-
확통 노베 쎈풀러갑니다 2 0
일쥬일만에 공부하기
-
빡t 4점기출 해본분 2 0
좋나요?
-
그래서 누가 여왕벌짓했는데 5 0
급해요.빨리
-
신기하게 생겼나 ㅅㅂ
-
물리. 3 0
현재 군 복무중인데 제가 완전 문과였는데 군대에서 진로가 바껴서 공대를...
-
https://blog.naver.com/analysis_81/223814074192
-
현역정시 이게맞나 2 0
고2 10모 13553 화1지1 고3 3모 13213 언매미적생윤사문 1.생윤사문은...
-
전자는 학교가 싫고 후자는 취업할 때 후회하는 듯 하고 성적이 안나오면 좆같은...
???:난 수학을 파괴하고 수학을 창조한다
누가했던말임?
세상을 파괴하고 세상을 창조한다
by 를르슈 비 브리타니아
좋네여
코드기어스 한번 정주행하시길 추천해여
어릴땐 애니 정주행 많이했는데 요즘은 뭐 길게 붙잡고 하는게 힘드네여..
그건 저도 그래여..하루에 2쿨씩 보고 그랬는데...