괴델의 불완전성 정리가 틀린 이유
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://orbi.kr/00070173258제대로 글쓰기 시작한 시점
-
어카지
-
인천 동인천 도원 제물포 도화 주안 간석 동암 백운 부평 6
부개 송내 중동 부천 소사 역곡 온수 오류동 개봉 구일 구로 신도림 영등포 신길...
-
오르비첫글 3
https://orbi.kr/00063757021 적백을 원했던 아이
-
평가원 기출로 돌아왔는데 왜케 평화롭냐 어휘도 무난무난하고, 개념마다 예시도 다...
-
동생 취해서 2
집에서 주사부림
-
아가자야지 8
기술적취침
-
기회를 놓친 것 같아서 너무 아쉽고 속상하다 나만 멍청한 것 같다
-
얘들아 사랑해 3
진심?인지는 몰라도 너네들 좋아
-
컴공 일기274 0
https://school.programmers.co.kr/learn/courses/...
-
9명 정원인 과 기준 예비 2번정도면 보통 몇차 추합까지 기다림? 0
총 5차까진데 전화찬스까지 기다려야하나?
-
제이팝 추 4
-
이 3끼 오르비 초창기 시절 얼마나 순수했는지 .araboza 4
그만 알아보도록 하자..........
-
난 너무 내향적인 사람이었어서 쉽지않았음
-
https://orbi.kr/00070125677Maybe 심심한 첫 글
-
현재 독재에서 시대 라이브 듣는중이고 3합8선착전형 접수해서 합격문자 받은...
-
궁금한데 검사비 얼마지?
-
수특 연계빨 노리려면 국가공인 시험들 한 20년치 분석도 해야함 6
무려 핵심토막이 아니라 글의 논쟁이+핵심주제가 연계되는데 이걸 참아?
-
금요일 6시 2
으흐흐
-
새사람을 찾아야겠죠
-
내 오르비 첫글 8
이후에는 칼럼러로까지 전직했었다는 사실
-
얼버기 12
내 패턴 어쩔거야…
-
여러분 모두 10
행복하시길…!!! 다시 초심으로 돌아가기로 했습니다.. 좋아요도 눌러주시구…
-
https://orbi.kr/00070708467 이거 생각하면서 흐뭇하게 웃음
-
후루루룰
-
비싼거사줘도 되는이유 친구가 몇명 없으니까 ㅋㅋㅋ
-
오르비 첫 글 1
https://orbi.kr/00069472816
-
사탐런하니까 탐구 공부량이 5-10퍼 수준으로 확 줄어드네 ㄹㅇ 4
주에 많아봐야 과목당 2시간 공부 평소에 수학 7시간 국어 3시간 체감이 확 되네
-
들을때마다 좋은데 제목 아시는분?
-
눈물이난다눈물이나
-
화작 확통 정법 사문 (영어1 기준)으로 가장 낮은 한의대랑 가장 낮은 약대...
-
이새기 왜이렇게 말을 길게 함?
-
금연재시작 1
ㅇ
-
내 삶에 사랑이 얼마나 결여됐던건지 뼈저리게 느껴지네
-
오르비 둘째날글이 너무 순수한데 일주일째구나 삭제한 글이 생각보다 많네 20
아니 이거보다가 지금 나 생각하니까 너무 더러워짐 나 왤케 착했지
-
덕분에 ”아우라지역“ ”예미역“ “민둥산역” 등등의 초특급 SSS 무기 보유중
-
일본 가본사람? 14
일본 음식보다 한국이 더 맛있지? 밖에 나가도 한국처럼 식당이 다채롭지 못해...
-
개미핥기 혀 존나 김
-
유전 어렵다 0
내용이 빙글 빙글 돌아
-
경의중앙선이라그러면 욕먹어요??? 중앙경희선이라그래야됨뇨?
-
고닉 기준을 투데이 홧수로 하는게 제일 신뢰성 높을 듯 반박시 님말맞
-
2호선은 워낙에 자주 다녀서 거의 다 알고 3호선은 대치갈때 엄청 가서 다 외움 ㅋㅋ
-
ㅇㅈ 4
내 클렌저
-
환승하려면 지하철에 내려서 계단올라가 건물 밖으로나가서 꽤 걸은 후 다시 지하로...
-
고대식 647 7
고대식 647로 갈 수 있는 과가 심리 말고 있었나요…? 결과론적이긴 한데 기왕이면...
-
2006년생인데 재수해서 이번에 대학감 지금까지 사귄 친구들은 전부 05년생인데...
-
한번도 안먹어봄
-
제가 대성패스가지고 있고 메가패스가지고 계신분구합니다!
-
안녕하세요. 오늘 연세대학교 OT가 있었다고 하네요. 이제 슬슬 술게임의 시기가...
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...