괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://susi.orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
추합 몇번까지 보시나요. 2023475%, 2024 360% 어떻게 이렇게 확...
-
나이만쳐먹고 좇같네 남들 당연하듯이 하는거 못하고
-
학원 끊고 현우진 시발점 들으려고 하는데 이제 듣기 시작하면 좀 늦은 걸까요?ㅠ
-
뉴런 수1, 수2, 확통 하는데 일주일에 수1 2일. 수2 2일. 확통 2일...
-
겨울방학 내내 공통만 하는 중 (통통이) ㅁㅌㅊ?
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 신의 경지에 오르다"당신도 공부의...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 서서한성중경고시연동홍
-
크하하
-
ㅈㄱㄴ 몇 년치 찾아봤는데 7차 최종만 있고 중간 차수는 안 보임...
-
아 cpi 12
망
-
공부할거 많은데 매번 오르비하느라 시간이 가네......
-
탈릅 19
세 달 동안 즐거웠습니다 이 글 보시는 분들 모두 행복하시길
-
sky는 서건외임 ㅇㅇ
-
국어 수특 공부 0
국어 수특은 어떻게 공부하는 건가요? 학교도 안 다녀서 내신 수업으로도 안...
-
선착순 한명 천만덕 10
은 없어서 못주니 천만덕같은 천덕
-
잘자콘 달아줘 5
ㅂㅂ
-
선착순 한 명 4
은 반응속도 ㅈㄴ 빠른 사람임
-
좋겠다
-
나 초코 들어간 커피 먹고있는데
-
예비 받으셨던분들중에 얼마나 갱신되셨나요??
-
선착 두 명 10
만덕씩 드림
-
어삼쉬사 기출 0
아이디어로 개념 돌리고 이제 기생집 하려고 하는데 하기 전에 어삼쉬사 하는 게...
-
시대 탐구 0
이번에 선택 바꿔서 지1 노베인 상태인데 시대에서 개념수업 해주나요? 아니면 바로...
-
가즈아
-
표현의 자유가 없노 세상에
-
닉 바꿨다 6
-
추첨 결과 6
-
오공완 1
안해 걍 여기까지 할래
-
피타고라스 정리와 동치
-
올오카 3
뭔가 바꼈나요? 저 현역땐 권수가 엄청나게 많고 올오카 책값만 20넘었던걸로 기억하는데
-
어삼쉬사 이거 5
뒤로 갈수록 어려운거임?? 세트06넘어가니까 절반을 모르거나 틀리는데 ㄹㅇ 막막하네...
-
뱃지 확인용 2
-
입학처 찾아도 안보이네
-
뭐? 컷이667??ㅋㅋㅋㅋㅋㅋㅋ 아오 낙지야 진짜
-
멋진 수학 칼럼을 벅벅
-
-
레어사러 들어가면 튕김 얘가 그 많은 이미지를 감당못함
-
최상위기행병은 못하고 점수낮아서 사격지휘넣어버렷는데 할만한가요?
-
우리집오르비꺼라 6
넵
-
뱃지 테스트 4
ㅈㄱㄴ
-
올오카 구매완 6
너무 비싸요... 이번달만 교재비 50만원 지출이라니
-
국수는 원점 탐구는 백분위
-
선착순 10명 20
추첨해서 1명 5만 덕
-
친구 필요 없고 적만 안 만들고 싶어요 ㅠ
-
나도 한 멘헤라 하는데 쉽지 않다
-
합격증 날짜가 왜저러냐 주작같게
-
있나욬.? 빵꾸났대서…ㅎㅎ
-
합격 기념 4
도수:40도 가격:20만원대
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 미리 하나 장만해두세요~~...
-
존나귀여움 ㄹㅇ..
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...