괴델의 불완전성 정리가 틀린 이유
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
소신발언 6
윈터스쿨 와서 딴짓하는 07들 한심함 걔들은 지들이 정시로 건동홍은 갈거라고...
-
대학가면 여친도 사귀고 동아리 활동하고 술도 먹고 하는 등등 많이 논다는데 난 그런...
-
중대 생명과학과 6
1차 추합 후 예비 11번인데 가망 없겠죠?..
-
이거면 치대 갈만한가요..?
-
점공 질문 6
홍대인데 앞사람들중에 가나군 불합받고 다군만 합격하게 원서를 쓴사람이 많더라고요...
-
끝내도 되죠..?너무늦는거아니죠..?
-
무휴학 삼반수...를 하였기에 이번이 정말 마지막 입시라고 생각하고 처음으로 정시...
-
왜 이런 제도를 만들어갖고 사람 귀찮게 하는건지 그냥 교육과정 딱딱 맞춰 놓고 끝내면 안되나
-
현역 정시 성글경 ㄷㄱㅈ
-
술 게임 하는 것보다 그 술 게임에 옵션 넣는 게 개재밌음 투터치 훈민정음 연좌제...
-
크하하
-
한의대생분들 6
한의대생 대부분이 군대 공보의로 가나요? 현역으론 잘 안 가나요?.
-
다 버려서 다시 보고 싶은데 방법이 없ㄴ
-
sky는 서건외임 ㅇㅇ
-
퇴근 중 6
고대 발 줄줄이 사탕식 추합 인원 미공지때문에 도파민 터져서 일 많이 못했네요 잠시 무물이나..
-
백석역 소요산역 인천역 수원역 화서역 병점역 군포역 안양역 등등
-
잘자콘 달아줘 5
ㅂㅂ
-
좋겠다
-
카페알바하다가 화장실에서 찍었는데 스타일링 한거 같아요 안한거처럼 보이나요..?
-
어삼쉬사 이거 5
뒤로 갈수록 어려운거임?? 세트06넘어가니까 절반을 모르거나 틀리는데 ㄹㅇ 막막하네...
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...