수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
수강신청 기간 놓쳐서 드랍 못한대
-
수능국어작가들 ㅋㅋㅋㅋ 0 1
https://youtube.com/shorts/r-tdozyb3Sg?si=iTWRu...
-
난 바보임 10 0
뻥임뇨
-
내신 3점대라 울었어 2 0
오르비에는 1점대들이 넘쳐나는데
-
하… XS 이제 보내줘야하나 0 0
아까 밥먹으러가면서 친구랑 폰하다가 떨굼 일단 침착함을 유지하고 화면을 봤더니...
-
문자를 보낸 적이 있네요.. ㅋㅋㅋ 올릴 감은 안 되지만, 지금은 정말 가깝게...
-
근데 거기다가 무슨 "주변 분들의 응원 덕분에 합격할 수 있었습니다!...
-
기출문제 저작권 0 0
많은 곳에서 자기들이 만든 문제 싸글이 모아서 기출문제집이라늠 명목으로 그대로...
-
술집 디제이가 되.. 1 1
이집 선곡 기가 막히네요~
-
파트너분도 다시 한 번 되물어보시더라... 약간 부끄러웠달까
-
확통 처음이라 양해 부탁드립니다. Q. 3x3 빙고판에 서로 다른 9개의 색을 칠할...
-
여기 현여기들 얼마나 있을까 15 5
Team07 모여봐요 여기야 여기
첫번째 댓글의 주인공이 되어보세요.