괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://susi.orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
개미핥기 혀 존나 김
-
유전 어렵다 0
내용이 빙글 빙글 돌아
-
경의중앙선이라그러면 욕먹어요??? 중앙경희선이라그래야됨뇨?
-
고닉 기준을 투데이 홧수로 하는게 제일 신뢰성 높을 듯 반박시 님말맞
-
2호선은 워낙에 자주 다녀서 거의 다 알고 3호선은 대치갈때 엄청 가서 다 외움 ㅋㅋ
-
ㅇㅈ 4
내 클렌저
-
왜이리 괴롭지 뒤에서 욕하고 있는거 같아
-
환승하려면 지하철에 내려서 계단올라가 건물 밖으로나가서 꽤 걸은 후 다시 지하로...
-
고대식 647 7
고대식 647로 갈 수 있는 과가 심리 말고 있었나요…? 결과론적이긴 한데 기왕이면...
-
2006년생인데 재수해서 이번에 대학감 지금까지 사귄 친구들은 전부 05년생인데...
-
한번도 안먹어봄
-
제가 대성패스가지고 있고 메가패스가지고 계신분구합니다!
-
안녕하세요. 오늘 연세대학교 OT가 있었다고 하네요. 이제 슬슬 술게임의 시기가...
-
스트레스 받아서 야식 먹음 버ㅓ억
-
망상하지 말고 메타인지를 제대로 해놔야겠다
-
-
요아정 맛있다 0
.
-
자퇴상담 0
반수 성공해서 자퇴할려고 하는데 교수님과 전화상담까지는 했습니다. 그런데 교수님...
-
ㅇㅇ
-
난 아싸다
-
새내기 때로 돌아가고 싶다 괜히 술 센 척 하려고 오버페이스로 과음ㅎㅏ고 처음 본...
-
근데 하면 진짜 찐따같으니까 나대신 해줄사람 구함
-
사망
-
생윤은 하다보면 재밌어진다는데... 3단원이 끝나가도 재미는 안느껴지네요ㅠㅠ 철학자...
-
투데이 400 11
셀프 ㅊㅊㅊㅊ
-
저를 숭배해주세요
-
모의고사, 벌점 이외 이유로도 강반 당할 수 있나요? 점바점인가
-
ㅜㅜ
-
컴사라져서오인페를못씀ㅠㅠㅠㅠㅠㅠㅠ 악기 연주 좋아해서 쉬는 시간마다 뭐 하나 파고싶단말이야
-
인구 26만 경산 인구 110만 울산
-
대상혁 레어 팔림 대 상 혁
-
에리카 로봇공학과 vs 광운대 로봇학부 AI로봇전공 두 군데 다 붙으면 어디가...
-
오늘 투데이 0
300+ 왤케 많지...
-
그친구는 병신샷마심
-
주인 잃은 레어 3개의 경매가 곧 시작됩니다. 최애의아이 카나짱"카나파...
-
내가 좋아하는 보카로 곡을 일렉기타로 칠 수 있다는 건 엄청난 행복 아닐까?
-
지하철 1년간 ㅈㄴ 타고다녀서 심심할때 노선도를 외웟거든 그리고 일단 텐션 자체도...
-
같은 웹소설없나
-
어지간하면 1,2,3,4 안에서 해결되니 걱정안해도됨
-
선착순 1명 2만덕 14
ㅈㄱㄴ
-
으어어어어어 0
으어어어어어어ㅓ어어어ㅓ어어어어어
-
다들 잘 있어요 10
인스타는 안 닫을거니까 인스타로 오세요
-
몰?루
-
야호 놀 일만 남았자나?!!!
-
올해 한국나이로 30살입니다. 메디컬 목표로 올해 수능을 보려고 하는데, 만약...
-
PTSD ON
-
-
근데 리트등에서 나온 주제 몇년후 수능에 나오는것 같은데 8
이거 나만의 기분탓임?
-
아랫턱이 작아서 교정을 바로 못하고 양악수술해서 턱 맞추고 교정기 견적보라는데 바로...
-
그 게임만 하면 걸려서 그담날부터 4호선 달달 와웠던 기억이.
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...