괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얼버기 4
기상
-
걍 지젤이랑 사귈까 ㅇㅇ
-
귀여워 ㅋㅋ 9
육수 되기로 햇다
-
자세히 말하자면 두명 중에 하나 골라야해서 나머지 한분한테 죄송하다 얘기해야하는데...
-
이네요....
-
입시 시작하면서부터 꿈꿔왔던 곳이라 붙어놓고 안가게 될거라는건 상상도 못해봐서 더...
-
스팸전화 1
개빡치게하네 아침부터 전화만 기다리는 사람 놀리는거도 아니고
-
해뜨고 봐요
-
잘자요 6
영원히 깨지 않는 꿈속에서 평생을 해매고 있어요 잘자요
-
-
궁금합니다
-
죄책감 느낌 내 가면이 그렇게 생겼구나 다른 사람을 그렇게 속이고 있구나 이런 느낌으로
-
말썽꾸러기 10
@@@@@ 잡아당기자 이거아는사람 ㅎㅎ
-
무수면롤창ㅇㅈ 3
어 형은 독서실이아니라 피씨방을왔어~
-
그날이 왔다 2
현재 가군 예비3번, 나군 예비3번 하나만 되면 좋겠다 ......
-
모르고 필수 등록금만 납부해서 만원 추가로 내려고 했더니 송금이 안되네요.....
-
새르비 끝났나 4
-
1월엔 꽤 잘지키다가 2월돼서 폭망함 6시반기상후 다시취침후 7시반기상ㅅㅂㅋㅋㅋㅋㅋ...
-
대학가면 5
잘할수있겠지? 걱정이다
-
아닙니다 10
님들은 01,02,04,05입니ㅏㄷ07과 새벽에 안 자는건 필요충분조건이 아님니다
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함