괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://h.orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
추합결과 진학사 0
진학사에 추가합격 안되었는데 되었다고 허위로 등록해 놓을수도 있는건가요?
-
무조건 비틱질하러 올텐데 기대되네 ㅋㅋㅋㅋㅋ
-
50명 정도 빠졌네요 다들 확인해보세요
-
나 일주일내내 하루정일 올비한거 같은데
-
노란색으로 되어있는 레어를 사면 약 20% 페이백 파란색으로 되어있는 레어를 사면...
-
중대 경영 1차 170명 빠진거 같은데 작년에 비해 어떤가요?? 많이 빠진건가요...
-
재수하면서 술 9
먹기도 하나요?
-
뭔 추합 인원수 발표를 안 함?
-
따뜻한 커피 생명수마냥 벌컥벌컥 들이켰는데 아직 반이나 남았네 ㅋㅋㅋㅋ 신기함
-
-
ㅇㅅㅇ
-
로스쿨 재학중이고 이제 2학년 올라갑니다. 제가 학부 다닐 때 후회되는게 집에서...
-
푸른상자, 메달리스트 나온 거 까지 다보고 약사의 혼잣말은 잘 안봐져서 하차...
-
2-30만원짜리 기타로 시작해도괜찮음? 중고사기는 먼가 좀 그래서
-
https://youtu.be/K5vb289B1AI?si=fbCSngxYymTI3kq...
-
다군 중앙대 1
소프트웨어 몇바퀴 돌까요? 1차에 생각보다 적게 돌았네요.. 원래 1차보다 2차...
-
진짜 짐지함)출결 결과 지각 각각3번인디 학종가능? 2
주변에 사례 없나요?
-
저는 무슨고닉임 9
잘 몰루?
-
이러던 시절도 있었는데 11
생존
-
고대 합격하면 오르비에 치킨 3마리 뿌림
-
전과하면 0
2학년때 1학년꺼 1학기때 들음 보통??
-
추합 몇번까지 돌았나요...
-
중대뜸 0
다들 확인해요ㅔ
-
육군 기술행정병 배점인데 여기서 직접관련/간접관련 자격증 구분은 어떻게 하나요??...
-
흐흐
-
저는 무슨 고닉이죠 14
퇴물고닉?
-
나 심심하네
-
논리실증주의자는 예측이 맞을 경우에, 포퍼는 예측이 틀리지 않는 한, 1
논리싫증주의자는 관심이 없다
-
그냥 분탕 고닉?
-
솔직히 비갤 가끔 들어갔을 때 김지우 얘기만 있길래 왜 이리 밉게 보나 했는데...
-
ㅈㄱㄴ
-
ㅈㄱㄴ
-
추합 번호 가리기 ㅅㅂㅋㅋ
-
ㅇㅇ
-
한양공대 0
추합해서 중대 취소하려하는데 등록포기 어떻게 하나요..? 아무리 찾아봐도 없네요...
-
연경 합격 ㅇㅈ 4
아쉬움은 남지만 기쁘게 성불하겠습니다..!
-
올해 고자전 일반컷 막판에 5점 가까이 떨궈서 사람 몰릴줄 알았는데 오히려 줄어들더라..
-
1차추합 돌고 업데이트된 최종 예비 84번인데 가능할까요 ㅠㅠ?
-
♡ 0
어렵고 도움되는 모의고사 한 개씩 적고가 ♡
-
10000개씩 5명정도 댓글 선착순 뿌리는건 내일할수도
-
오르비팟입니다
-
대충 러셀에서 작년 거 줬어요 88(공2, 선1) 개념 기출은 무적이다 + 기하로...
-
-
1차 추합이요~
-
1차때 2명빠진거같은데 최초합한분들이 다른학교 추합으로 붙는 성적인데 2차,3차때 기대해도되나요?
-
가져가라 훠이
-
ㅇㅇ
-
그냥 빨리 눈알 굴려서 답 찾기 게임하는게 우월전략임 6월에도 저딴식으로 에이어나...
-
착잡하다.. 0
경희대고 작년 재작년 모두 추합 14명 정도 돌았던 곳인데 1차때 1명밖에...
-
ㅈㄱㄴ
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...