괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
외대 융합일본지역학부 0 0
빠지는 사람 계신가요.?.?.?.?.).ㅜ
-
다들 잘 있어요 10 2
인스타는 안 닫을거니까 인스타로 오세요
-
이거 진짠가요 7 0
남자 버튜버도 수요가 있으려나
-
잠빨리자라 뵹의신들아 2 0
ㅋㅋ 찔리냐??
-
속보) 동생 욺 8 2
얘기하다가 욺ㅋㅋㅋㅋㅋ
-
시대기숙 os반 4 0
시대기숙 os 우선선발 (3합4)에 합격했는데 수학이 높2여도 os반 배정되겠죠?
-
내 첫인상 현인상 적어봐라 7 0
잔다이제
-
시대 재종 4 0
시대 재종도 단과처럼 수업 들을때 자리 제비뽑기로 정하나요??
-
둘중에 어디가 나은지 투표해주세요ㅠㅠㅠ 근데 과는 작업치료를 더 가고싶고 연미...
-
새르비 3 0
하지마라요
-
한의대랑 약대 정시 9 1
화작 확통 정법 사문 (영어1 기준)으로 가장 낮은 한의대랑 가장 낮은 약대...
-
내일 알려드리겟습니다
-
제발 날 놔줘
-
나 진짜 긁? 잘하는 것 같아 4 3
오늘 또 느꼈어
-
눈치 게임 시작 21 1
벌칙: 걸린 사람들끼리 연애
-
수학 하셈 6 0
수학 성능 좋음
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...