괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
읽는데 몇 분 정도 걸리나요? 문제 풀기 전에 지문만 읽을때 3-4분 정도 걸리는데...
-
얼버기 4
잘잤다.
-
외대 등록함 4
내선택에 후회를 남기지 않는다 후회따윈없는거임
-
어떤게 나음 객괌적으로 둘다 들어가서 전과나 복전할 의향 있지만 된다는 보장 없움
-
25수능 미적생지 선택했고 미적은 88점 생지는 둘 다 3등급이었어요 .. 그런데...
-
그러면 ebs는 더더욱 안봐도 될꺼임 ebs 적중저격은 대놓고 피하려고 발악하고...
-
여기 아직 시작 안하나요? 진짜 2시??
-
-
이 닉네임 I Love Yon Sei Business 줄인건데 4
쓸일이 없게됐네요 ㅋㅋㅋ 한의로는 닉네임 어찌 지어야 하지
-
나 안아.. 5
-
마지막날인가여??
-
얼버기 3
-
심지어 서강대가 더 많이뽑는데도
-
ㄱㄱㄱㄱㄱ
-
물화 정도는 아닌거 같은데 그래도 망한거 아님? 사탐보단 훨씬 빡셀거 같은데 과탐...
-
자리가 남으면 바로바로 전화를 돌리나요? 9시부터 전추시작인데 아직 전화가 안왔으면...
-
So call me maybe
-
진지하게 나만 인강교재 필기노트를 주로 보고 인강은 거의 안듣냐 2
텍스트로 이해안되는부분만 인강으로듣는데 정상임? 어차피 다 내용이 필기노트에도있어서
-
절대힘들까요… 최초예비 983입니다…
-
안사지고 16퍼올라잇네 걍바로살걸ㄲㅂ
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함