괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://iu.orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
강민철t 풀커리 타는 중이고 인강민철 말고 다른 주간지 추천 부탁드립니다!...
-
우웅할때 똥싸 7
우웅
-
언제 다 정리하고 보정하지...
-
레테크 하지마세요 10
이게 빈말인거 같아...?
-
오늘만 20명 늘어남 이게 웬 허상이냐 ㅋㅋㅋ………
-
솔직히 비갤 가끔 들어갔을 때 김지우 얘기만 있길래 왜 이리 밉게 보나 했는데...
-
이미지 써주세요 5
추첨을 통해 한 명에게 천덕
-
ㅇㅇ
-
우정잉 인프피 분석 영상인가 이거 봤는데 지금 너무 소름끼침 사귀기도 전에 이거 안...
-
선착순 한 명 4
은 반응속도 ㅈㄴ 빠른 사람임
-
기상 4
엿됏다
-
걍 사람이 다 무섭다
-
만년 국어 4따리였던 제가 이렇게 연대 합격증도 받는 날이 오네요… 메디컬 되면...
-
고1말에 이어플러그끼고 수학푸는데 우연히 옆에 봤더니 내옆에있던친구가 묘하게...
-
비틱 한 번만 시원하게 해주세요
-
두근두근하고싶군요
-
새피한번도안해봄 3
같이할사람이없음
-
ㅇㅈ 4
내 클렌저
-
3병까진 ㄱㅊ
-
뱃지 테스트 4
ㅈㄱㄴ
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...