괴델의 불완전성 정리가 틀린 이유
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
투데이 수 너무 만족스러워
-
왜남의과는빵만나냐?
-
우석대 약대 기균 있으신가요?
-
세상이 왜 이러지
-
추합 특성상 그럴 거 같긴 한데 아무도 모르는 건가요?
-
추천좀
-
과외선생모드on 6
어떻게든 과외생 갱생시킨다 재수포기해서라도 ㄹㅇ
-
저녁에 침 떴는데 지금도 근육이 이완되는 중
-
고대망함? 0
먼일
-
하 진짜 10년간최악의난이도라면서요 기상쌤??????????????????????
-
의예과 질문 5
의예과 들어가면 물리를 하나요? 아니면 선택적으로 물리를 할 수 있나요? 많이들 공부하나요?
-
최종컷 650 아래는 확정임 실지원에 656 아래가 싹 도망가버려서
-
제 선배님 되실분?!
-
[실모 배포] ØnlyTraY's GIVE-UP 물리학2 모의고사 배포 4
이전 모의고사 보러 가기 : https://url.kr/y1jssg 저의 두 번째...
-
집안에서 뒤늦게 한양대학교 경영학사 한명 나옴 ㄷㄷ
-
꼬냑 맛있다 3
헤헤
-
경주월드 0
가보신 분? 잼
-
예쁜데?
-
과탐 과목별 분량 궁금합니다 생1 vs 지1 vs 생2 입니다 개념양 자체가...
-
궁금합니다.
-
90 85 3 96 98 국수영탐탐 화미사탐으로 맞는다는 가정이요
-
과외 구해요.. 1
이번 수능에서 42311 맞은 이과 남학생입니다..어휘력도 많이 부족한것 같고...
-
여긴 없나
-
코가 커서 그런거에요?
-
왜 등록 안하냐고 전화안해줫다 한양대는 해줘ㅛ는데
-
정시 지원기간도 다 끝났고 2월 중순돼서 추가모집한다는데 이론 대학교들은 뭐임 ㄹㅇ?
-
배그하러간다 2
히힝
-
사문 생윤 2
생명과학에서 런했는데 아직 결정 안함 ㅋㅋㅋㅋ 사문이 개념 더 적다고 해서 갈거같긴...
-
학교 사이트에 0
제적이라 뜨면 자퇴된건가요?
-
무슨 바겐세일인가
-
존나 웃기는건 2
중앙대 예비도 빠졌는데 동국이 아직 예비라는거임ㅋㅋㅋㅋ 최초합했는데 안빠진 얘들은 뭐지 궁금하네
-
올해 평균 등급,백분위 여쭤볼수있을까요? 선택과목도 알려주시면 감사하겠습니다!!...
-
ㅇㅇ 성균관대 나군 경영 1차 추합 조발
-
지금 정시 추가모집3차 하고있던데 올해 현역 수능 개망해서 부모님이 이거라도...
-
야식 먹고싶은데 0
여드름 날까봐 무섭다
-
-
혼자 저 밑에 있던데 입결표에서 ㅋㅋ
-
탈조선해야 한다…라는 말은 많은데 우리나라보다 전망 좋은 나라가 딱히 많아 보이진...
-
무휴학 삼반수...를 하였기에 이번이 정말 마지막 입시라고 생각하고 처음으로 정시...
-
글고 예약구매햇는데 언제나오나요
-
잇올 끝났습니다 1
흐흐
-
추합 몇번까지 보시나요. 2023475%, 2024 360% 어떻게 이렇게 확...
-
나이만쳐먹고 좇같네 남들 당연하듯이 하는거 못하고
-
학원 끊고 현우진 시발점 들으려고 하는데 이제 듣기 시작하면 좀 늦은 걸까요?ㅠ
-
뉴런 수1, 수2, 확통 하는데 일주일에 수1 2일. 수2 2일. 확통 2일...
-
겨울방학 내내 공통만 하는 중 (통통이) ㅁㅌㅊ?
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 신의 경지에 오르다"당신도 공부의...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 서서한성중경고시연동홍
-
크하하
-
ㅈㄱㄴ 몇 년치 찾아봤는데 7차 최종만 있고 중간 차수는 안 보임...
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...