괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오뿡이들 바보임?? 남초면 경쟁자가 줄어들잖아 완전 이득아닌가...
-
충격 고백하겠습니다 14
저는 여르비를 남르비라고 봤고요 남르비를 여르비로 봤어요 쌍*가 여자인줄 알았다..
-
도쿄대 본고사 문제 11
왜케 잼업지 걍 안풀어야겟다 전에 24년도 2번이 ㄹㅇ 재밋엇는데
-
자꾸 중딩때의 눈빛으로 돌아가라는데 나는 잘 기억이안나는데
-
냉면이 땡긴다 0
ㅈㄱㄴ
-
궁극의 뉴런 0
쎈발점 다 끝내고 뉴런이랑 수분감 병행하는 게 낫나요 아니면 쎈발점 다 하고 수분감...
-
이름부터가 반수인데 0.5로 치면 안 되나
-
한번가봐야지
-
기차지연된다 3
큰일났나?
-
삼단논법 0
맨시티를 5-1로 격파한 아스날 그 아스날은 총합 4-0으로 격파한 뉴캐슬 12시에...
-
다음 프사 4
루시다음 닉 ㅁㄹ.
-
낮에 ㅇㅈ했음 13
님들도 ㄱㄱ
-
정답의 논리 다 구하고 기원햄마냥 수치대입에서 실수해 틀리고 있어 아...
-
약대추합 0
인설약 추합 돌고잇음?
-
ㄱㅁ 8
ㅛㅣ
-
난 지금 학벌에 되게 만족함 수능 치고는 과탐 3 나오는 주제에 사탐 안 한게...
-
야 기분 조타 야야 기분조타
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함