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