수학의 완전성 증명
게시글 주소: https://dev.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를 선물하세요.
-
5급 psat 성적 이정도면 15 3
수능 국어 몇등급 실력과 비슷하다고 생각함?
-
2022년 5급 PSAT 언어논리 찍먹 선별좌표 1 8
2022년 7급 PSAT 언어논리 찍먹 선별좌표에 달린 댓글 여러분이 어떤 커리를...
-
2022년 7급 PSAT 언어논리 찍먹 선별좌표 5 40
여러분이 어떤 커리를 타든, 독서 찍먹하기에 가장 좋은 강사 이해황입니다....
-
5쇄 나옴.. 1 12
PSAT/LEET 강의를 하는 것도 아닌데, 이제는 입소문으로 엄청나게 판매되네요....
-
PSAT/LEET 기본서를 몇 권 뿌릴까 하는데... 53 40
[요지] PSAT/LEET 기본서(베스트셀러!)를 오르비에 몇 권 뿌릴까 하는데,...
-
고3국어는 뭐가 다를까? (덧: PSAT/LEET 관심있는 예비대학생 있나요?) 51 33
고1, 2 때는 단순히 [국어=내용일치]라고 생각해도 고득점이 나올 수 있습니다....
첫번째 댓글의 주인공이 되어보세요.