괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
안되겠지만..
-
추첨 결과 6
-
뭐? 컷이667??ㅋㅋㅋㅋㅋㅋㅋ 아오 낙지야 진짜
-
우리집오르비꺼라 6
넵
-
올오카 구매완 6
너무 비싸요... 이번달만 교재비 50만원 지출이라니
-
국수는 원점 탐구는 백분위
-
의예과 질문 5
의예과 들어가면 물리를 하나요? 아니면 선택적으로 물리를 할 수 있나요? 많이들 공부하나요?
-
근데 하면 진짜 찐따같으니까 나대신 해줄사람 구함
-
ㅜㅜ
-
주인 잃은 레어 3개의 경매가 곧 시작됩니다. 최애의아이 카나짱"카나파...
-
바람이 너무 강해..
-
내가 좋아하는 보카로 곡을 일렉기타로 칠 수 있다는 건 엄청난 행복 아닐까?
-
지하철 1년간 ㅈㄴ 타고다녀서 심심할때 노선도를 외웟거든 그리고 일단 텐션 자체도...
-
레어 팔아요 4
정시파이터,사나이클럽 팔아요
-
어지간하면 1,2,3,4 안에서 해결되니 걱정안해도됨
-
책을 안 읽어서 어휘력이 좃망하니까 사람이 너무 없어보임;;
-
올해 한국나이로 30살입니다. 메디컬 목표로 올해 수능을 보려고 하는데, 만약...
-
소신발언 6
윈터스쿨 와서 딴짓하는 07들 한심함 걔들은 지들이 정시로 건동홍은 갈거라고...
-
중대 생명과학과 6
1차 추합 후 예비 11번인데 가망 없겠죠?..
-
이거면 치대 갈만한가요..?
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...