수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
07 정시 파이텁니다 5 0
어쩔
-
하 또시작이노 하고 넘기지 않나 그냥
-
천덕만 빌려주실분.. 2 0
잇나요..
-
이 방법대로 적용하면 은근 귀찮은 경우의 수에서 금액관련 문제 전부 해결가능합니다
-
오르비가 교양인들만 있는이유 7 0
시비걸었다고 쪽지로 욕박고 차단하는사람없음
-
이거 어케하는거임? 7 0
-
42000남음 0 2
씨발
-
잘! 13 1
자!
-
ㅇㅇ…;;
-
근데 특이한 글씨체라 옆에서 대충 슥 보면 외국어같기도 하고..
-
확실히 내향형이라 느끼는 게 5 2
노래방 가거나 방탈출 이런거로 노는 것보다 노래 들으며 공원 한 바퀴 도는 거에 더 큰 힘을 얻음
-
이거나 보고 가세요 3 0
앙
첫번째 댓글의 주인공이 되어보세요.