수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
6평이 99일 남았다고? 1 0
와우 ㅋㅋ 입시 끝난지 일주일 됐는데
-
생1 1타도 백호쌤인가요??? 4 0
생2 1타 백호쌤인걸로아는데 생1은 누군가요???
-
저 짤 심지어 불법사이트네 1 1
ㅋㅋㅋㅋㅋㅋ
-
궁금하신 주제 있으면 올려주세요 다음달 초에 야무지게 써드립니다
-
아니 얘들아 올클이 어려워? 2 2
네 이 시바라
-
웹소설 읽어서 국어에 도움되려면 이렇게 하면 됨 1 0
모든글자를 다 읽으면 됨.. 근데 난 보통 60~70퍼정도만 대충 읽어서 도움안됐음
-
영종도사는사람있음? ㅋㅋ 5 0
섬에 재수학원이 있네
-
같은 1등급이면 백분위가 똑같은건가요 아님 높1이랑 낮1이랑 백분위가 다른가요...
-
수능100점맞을거임 4 1
ㅇㅇ
-
연세치킨 연세치킨 2 1
연세치킨 연세치킨 우우우 연세치킨 튀겨주세여
-
ㄹㅅ 도착 0 0
근데 음 어제 뭔일이 있었구만 인증만 보고 바로 잤는디
-
얘들아 2 1
금요일에는 공강때리지말고 공부해야지 ㅇㅋ?
-
반수 학점.. 5 0
16학점 챙기고 매일 1,2교시 듣기 13학점 챙기고 월, 수 공강만들기 뭐가 더...
-
체념하니까 4 0
마음이 편안해짐 월화 조기하교 ㄴㅇㅅ
첫번째 댓글의 주인공이 되어보세요.