수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
나 그냥 평생 숨기고 살아야하나
-
나 고1때 통사 찍엇는데 5 0
2점 나오더라
-
G : "G가 증명불가능" 1. "G가 증명불가능" 함을 괴델이 증명 이는곧 2....
-
현재 독재에서 시대 라이브 듣는중이고 3합8선착전형 접수해서 합격문자 받은...
-
오르비 첫 글 1 0
https://orbi.kr/00069472816
-
똥국물한잔의여유 ㅇㅈㄹ 2 2
나 초코 들어간 커피 먹고있는데
-
금연재시작 1 0
ㅇ
-
내일이면 동뱃도 으흐흐 6 0
-
피타고라스 정리와 동치
-
근데 생각해보니까 1 0
고닉 기준을 투데이 홧수로 하는게 제일 신뢰성 높을 듯 반박시 님말맞
-
뱃지 확인용 2 0
-
레어 잘못 사는거<<이해 됨 4 1
근데 왜 자꾸 이딴 못생긴 레어만 걸리냐구우우웃
-
제육 잘하는 사람? 7 0
우리집으로
-
지인선님 99년생이시라구요? 19 0
더 많은줄...ㄷㄷ
-
1n명 소수과 예비못받았다고쳤을때 추합1차이후 번호받았을때 앞에 이사람이사람 빠졌네...
첫번째 댓글의 주인공이 되어보세요.