괴델의 불완전성 정리가 틀린 이유
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
19살때 엄마한테 나 미인대회 나가볼까?라고 했다가 정색하면서 극혐하길래 아 알겟옹...
-
오늘의 주전부리 3
부여 밤 찰떡아이스
-
눈치 게임 시작 21
벌칙: 걸린 사람들끼리 연애
-
등급 22113으로 경희대도 가능했고 분명 6칸 최초합이였는데 애매한 예비떠서 너무...
-
만표의 신
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
이미지 써주세요 5
추첨을 통해 한 명에게 천덕
-
오르비 아니면 재독 퇴근 했을 때 뭘 한단 말인가 도대체
-
맞아요 난 발버둥 쳐요! 시다바리 하려고요 ㅠ
-
음식중독인듯 0
적당히 배부르면 그때부터 입에 뭔가 자꾸 처넣고싶어짐 아예 공복은 ㄱㅊ긴함
-
"맨날 보이네 ㅋㅋ"
-
9월달까지 매주 1실모/ebs 문학만 보고 공부 안할 예정
-
중형고닉 되었다 1
대형 조건은 칼럼에 명문대란 말인가
-
강대 크럭스 강k 강대n제 시대는 미적 단과 다녀서 선택 이것 말고 뭐 사둘만한거 있나요?
-
중형고닉입니다 2
소형이 되도록 노력안하겟습니다
-
생윤 50은 진짜 벽느껴지네
-
아......
-
-
이 파트 ㄱㄴㄷ문제로 나오는 문제를 최대힌 엄밀하게 따지면서 풀고 있는데요. 머리가...
-
예비 몇번까지 빠졌는지 궁금합니다. 다들추합성공하세요!
-
이 버러지같은 노답팀이 저 공부하라고 대떡을 당하는 희생을 해주면서 정규시즌 전까지...
-
-
인생영화 있나요 다들 39
하나씩만 추천좀…
-
입니다
-
너 ㅈㅅㅇㅂ보다 공부 못하면 오르비 손에 꼬나물지 말고 빨리 더망가
-
수분감 -bad 0
마더텅 GOAT
-
연대 추합 갱신 2
저만 안됐나요? 번호 똑같은데 현황에서는 빠졌다 나와서..
-
ㅈㄱㄴ
-
늦은 대학 ㅇㅈ 6
나도 뱃지 받고싶은데 ㅠㅠㅠ
-
어떠셨나요???
-
지나가버린 7
어린시절엔 풍선을타고 날아가는 예쁜꿈도 꾸었지~
-
이제 시작이다 4
smcx야 고맙다 원코 받은 거 같다 이제 테슬라 콜드만 오르면 된다 1000만원...
-
밥 맨날 사주셈 ㅋㅋ
-
수험생의 최대였다고 이 활동량은
-
원래 중형이었음
-
교보문고에서 두고왔거나 지하철 승강장이나 지하철 열차 안에 두고내린거 같은데...
-
경북대 합격생을 위한 노크선배 꿀팁 [경북대 25] [주거꿀팁] 0
대학커뮤니티 노크에서 선발한 경북대 선배가 오르비에 있는 예비 경북대학생, 경북대...
-
추합결과 진학사 0
진학사에 추가합격 안되었는데 되었다고 허위로 등록해 놓을수도 있는건가요?
-
무조건 비틱질하러 올텐데 기대되네 ㅋㅋㅋㅋㅋ
-
50명 정도 빠졌네요 다들 확인해보세요
-
나 일주일내내 하루정일 올비한거 같은데
-
노란색으로 되어있는 레어를 사면 약 20% 페이백 파란색으로 되어있는 레어를 사면...
-
중대 경영 1차 170명 빠진거 같은데 작년에 비해 어떤가요?? 많이 빠진건가요...
-
재수하면서 술 9
먹기도 하나요?
-
뭔 추합 인원수 발표를 안 함?
-
따뜻한 커피 생명수마냥 벌컥벌컥 들이켰는데 아직 반이나 남았네 ㅋㅋㅋㅋ 신기함
-
-
ㅇㅅㅇ
-
로스쿨 재학중이고 이제 2학년 올라갑니다. 제가 학부 다닐 때 후회되는게 집에서...
-
푸른상자, 메달리스트 나온 거 까지 다보고 약사의 혼잣말은 잘 안봐져서 하차...
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...