괴델의 불완전성 정리가 틀린 이유
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
몇관으로 넣어야 정배임
-
기하 선택하고 싶은데 표점 때문에 미적하는 사람 있나요 7
순수 재미는 기하가 Goat인데 선배들이 기하는 하지 말라함..
-
난 왜 못할까요 3
수학을 잘하는 것도 아니고 국어를 잘하는 것도 아니고 과탐을 잘하는것도 아니고...
-
인피니티 워부터 쭉 안 봄...
-
김재훈: 정말 작품 이해에 치중된 사람, 들으면 머릿속에!가 뜸 유대종: 문풀에...
-
다른 과목은 다 대체 선생님 찾았는데.. 내신 생명만은 대체할 분이 없는 것...
-
2차부터가 문제엿다 인싸애들: 선배 저희 술게임 알려주세요!!!!! 사건의 시작.
-
목표변경
-
1. 언매 개념은 한 적 있음 (올인원 2번 정도) 2. 완벽한 암기는 안됨 3....
-
제가 강평 커리 타고 있거든요? 근데 논리학 지문만 나오면 많이 틀리고고나중에 로행...
-
온라인 접수 할 때.. 뭐 준비해여하나요? ㅈㄴ 복잡함…
-
삼수생 새터가도됨??? 10
아싸찐따삼수생이 3일동안 인싸현역조졸무리에 어떻게끼어있지
-
응..... 안갈래 또 이상한 술게임 시킬까봐
-
술 추천 리스트 17
가난한 대학생인 관계로 소주 맥주만 추천해드려요 소주 -> 거부감 없이 마시고...
-
품사, 문장성분, 어미의 종류, 동사 형용사 구분법, 품사 구분법, 단모음표,...
-
독서 기준 하나만 할 수 있다면 어느 걸 추천하시나요?
-
나만 그런가
-
고1말에 이어플러그끼고 수학푸는데 우연히 옆에 봤더니 내옆에있던친구가 묘하게...
-
맛있다 1
헤헤
-
연애
-
놀다 노래를 부르며 노니까
-
가려면 어느 과목에서 몇 개 틀려야하나유?
-
새피한번도안해봄 3
같이할사람이없음
-
작년에 오르새쌤 풀커리 타고 올해 스블듣고 있는데 개념 설명이나 기출풀이 방식이...
-
기분 센치하네
-
시대 단과다니고 있고 6평 전까지 풀만한거 추천좀
-
Jot됨씨발
-
추천좀
-
현역 수능 때 35253 맞고 재수, 삼수해서 실패와 좌절(22수능)을 맛보고...
-
3병까진 ㄱㅊ
-
선생님께서 복습을 굉장히 강조하시던데 복습을 얼마나 해야하나요 문제 보자마자 아...
-
진학사 점공은 10등까지만 업데이트 해주셨고 제 분석상으로는 12-14 사이에서...
-
레전드백수 ㅇㅈ 3
이사람은 6시간 자는거 빼고 하루종일 폰하나요
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
진로는 진짜 존나 역함
-
커트라인 640 초중반일것 같은데 1칸합도 나오겠네요
-
인스타지워야겟다 10
거울보는데 현타존나오네
-
ㅈㄱㄴ 나 빼고ㅓ 친해지는거 아냐:?? 심찬우 조발 조기 서강 노크 대가대 로스쿨 현우진 시대인재
-
주량 7
두병 두병넘어가면 말실수함
-
물론 난 콜라가 좋다.
-
사실 굉장히 피곤하긴 한데 해야 할게 남아 있어서요 몇시까지 있을까요?
-
아아먹고싶은데 0
얼음이 없네 ㅜ
-
술 마시고 싶다 0
그렇지만 참기로 했다
-
걍 문제 몇 개 골라서 풀어주고 풀라고 시키면 되나? 문제집 그대로 들고가면...
-
윗 사람들이 빠질 일이 없어서 슬프도다
-
-
pdf나 종이책 다들 어디서 어떻게 저렴하게 구매하시는지..
-
-
원서접수 사이트에서 추가로 졸업증명서 내라고 뜨는 걸 오늘 확인했는데 다른분들도...
-
내가 글을 많이 썼나
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...