수학의 완전성 증명
게시글 주소: 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. 백양로는 평지가 아니다. 2. 언기도 주황색 바닥쿠션 자리에서 낮잠 자면...
-
저능대결 4 1
내가 이김
-
수학 실력이 안 올라요…. 0 0
방학때 수1,수2,확통 시발점이랑 쎈 1회독 하고 개학한 다음에 뉴런은 너무 어려울...
-
ㅋㅋㅋ
-
횽아들 잘쟝ㅅ 4 0
난잘거지렁
-
아래 질문받아주다 입결봤는데 18 2
에리카 입결 생각보다 높아서 좀 놀람 막 4~5점대인줄 알았는데 2점...
-
삼각김밥 마려운데 10 0
먹어라 vs 먹지마라
-
만년필이 너무 사랑스럽다 0 0
149 골드 플렉스 m닙이었다면 널 더 사랑할 수 있었을텐데..
첫번째 댓글의 주인공이 되어보세요.