괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
모두 멈춰
-
먹고싶다 3
-
역에보 에너지표 벅벅하다가 사문하니까 ㄹㅇ...캬캬캬
-
어? 뭐야 시발 3
역시 내장보단 순대지 ㅋㅋㅋㅋㅋㅋㅋ 딱 대
-
캬~~~!!!
-
책임지셈
-
내 혈육이 이번에 가는데
-
러시안룰렛 9
총알은 1발 확률은6분에1. 첫발 10억 그이후 2배씩 2번째발 20억 이런식으로 이러면 몇발쏨?
-
뭐 어떡해.. 그냥 살아야지,,
-
학교가 개ㅈ반고라 내신만 챙기고 롤체만 하다보니 모고성적이 ㅈ박아서요. 최저맞추려면...
-
ㅇㅈ? 3
-
ㅈㄱㄴ
-
투데이 4
피보나치 수열이군.
-
오천덕 드룠읍니다
-
유니 4
유니유니야...
-
지하철 봉사와 다년간의 대치동 통학으로 다져진 1,2,3,4,5,6호선 암기실력...
-
개인적으로 8
여친이랑 엣찌타임가지려는데 사실 여친이 아니고 밑에 달려있는오토코노코라면 더 좋을수도?
-
미적분 1타 3
인강 사이트 상관없이 미적분 하나는 젤 잘가르치는 쌤 추천해주세요
-
자러감 1
-
고백해도 되나요..??
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함