수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
240628 ㄹㅇ 미친킬러네 0 1
그냥 대충 극소 찍어서 풀고 싱글벙글 뉴런듣는데 이게 뭐고..
-
사실 241122는 2 1
수1 같음
-
3모 기하로 볼까 생각중 6 0
미적 노잼임
-
수학 쎈질 하고 알텍한다음에 0 0
N제 양치기 어떰?
-
근데 다들 닉넴 왜이리 귀여움 9 0
깨물어주고 싶네
-
남녀 의미있나 13 0
그냥 남자여자 둘다 평등하게 대하는 느낌인데 다들 좀 더르게 대하나
-
다시자볼게요 7 0
잘자요 보신분들은 행운이!!
-
저는 재종다닐때 아이패드에 오르비 스티커 붙였음 5 2
놀랍게도 실화임.. 오르비에서 책 사면 주는 스티커 붙이고 다님뇨
첫번째 댓글의 주인공이 되어보세요.