수학의 완전성 증명
게시글 주소: https://orbi.kr/00071957732
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
4번이 바로 "완전성"임
따라서 나는 귀류법이 참이라는 전제하에 완전성을 유도해냄
그렇다면 괴델의 불완전성은 틀린것인가?
그렇다..
괴델의 불완전성 정리의 문제는
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
그렇다..
나는 수학의 완전성을 복구한 수능수학 5등급 수포자인 전설의 신성자인것이다...
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이런 철학적인 애니가 우리세대에 존재하는 것은 세상이 전례없는 진보의 길 속...
-
초딩 때까지 영어학원 스피킹이랑 영어 디베이트 중심 학원 보내고 수학은 인강으로...
-
어어안된다 0 1
ㅇㅇㅇ
-
공부 잘하는법 알려주세요 2 0
노베 허수 탈추ㅜㄹ 방법좀
-
점심에 불닭먹었는데 3 1
막 가레나오고 죽을 뻔함 다음부터 안먹는다 쉬발
-
수능에서 틀린 문제를 보면 0 1
마음이 먹먹해지는 ㅇㅅㅇ
-
난 사실 10번대도 다 못푸는데 19 0
푸는 문제들은 죄다 21 22 28 29 30이네 이게 맞나
-
2015년 7월 21일 1 0
야이
-
거저주는문제+20.21.22
첫번째 댓글의 주인공이 되어보세요.