괴델의 불완전성 정리가 틀린 이유
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
들을때마다 좋은데 제목 아시는분?
-
눈물이난다눈물이나
-
(주요 문항 분석서라고 적혀있지만 사실 28문항 다 해설이 있다는 점,,,)...
-
화작 확통 정법 사문 (영어1 기준)으로 가장 낮은 한의대랑 가장 낮은 약대...
-
연애하고 싶어요 0
엉엉
-
이새끼 왜이렇게 말을 길게 함?
-
금연재시작 0
ㅇ
-
내 삶에 사랑이 얼마나 결여됐던건지 뼈저리게 느껴지네
-
아니 이거보다가 지금 나 생각하니까 너무 더러워짐 나 왤케 착했지
-
덕분에 ”아우라지역“ ”예미역“ “민둥산역” 등등의 초특급 SSS 무기 보유중
-
일본 가본사람? 6
일본 음식보다 한국이 더 맛있지? 밖에 나가도 한국처럼 식당이 다채롭지 못해...
-
개미핥기 혀 존나 김
-
그냥수능악귀될거임
-
유전 어렵다 0
내용이 빙글 빙글 돌아
-
두근두근하고싶군요
-
경의중앙선이라그러면 욕먹어요??? 중앙경희선이라그래야됨뇨?
-
고닉 기준을 투데이 홧수로 하는게 제일 신뢰성 높을 듯 반박시 님말맞
-
2호선은 워낙에 자주 다녀서 거의 다 알고 3호선은 대치갈때 엄청 가서 다 외움 ㅋㅋ
-
ㅇㅈ 4
내 클렌저
-
왜이리 괴롭지 뒤에서 욕하고 있는거 같아
-
환승하려면 지하철에 내려서 계단올라가 건물 밖으로나가서 꽤 걸은 후 다시 지하로...
-
고대식 647 3
고대식 647로 갈 수 있는 과가 심리 말고 있었나요…? 결과론적이긴 한데 기왕이면...
-
2006년생인데 재수해서 이번에 대학감 지금까지 사귄 친구들은 전부 05년생인데...
-
한번도 안먹어봄
-
제가 대성패스가지고 있고 메가패스가지고 계신분구합니다!
-
안녕하세요. 오늘 연세대학교 OT가 있었다고 하네요. 이제 슬슬 술게임의 시기가...
-
스트레스 받아서 야식 먹음 버ㅓ억
-
기쁨의 환호성을.... 네
-
망상하지 말고 메타인지를 제대로 해놔야겠다
-
-
사기인가요..? 이거
-
요아정 맛있다 0
.
-
실전개념강의 맞나요?? 알기로는 개념설명도 해주시는걸로 아는데 맞나유...
-
자퇴상담 0
반수 성공해서 자퇴할려고 하는데 교수님과 전화상담까지는 했습니다. 그런데 교수님...
-
꺄야아아아아ㅏ아아ㅏ아아아ㅏ아아ㅏ아ㅏ아아아아아아아아아아아아아아아아아아ㅏㅇ아아아ㅏ아아아아...
-
ㅇㅇ
-
난 아싸다
-
새내기 때로 돌아가고 싶다 괜히 술 센 척 하려고 오버페이스로 과음ㅎㅏ고 처음 본...
-
근데 하면 진짜 찐따같으니까 나대신 해줄사람 구함
-
사망
-
투데이가 860 3
어휴
-
생윤은 하다보면 재밌어진다는데... 3단원이 끝나가도 재미는 안느껴지네요ㅠㅠ 철학자...
-
투데이 400 11
셀프 ㅊㅊㅊㅊ
-
저를 숭배해주세요
-
모의고사, 벌점 이외 이유로도 강반 당할 수 있나요? 점바점인가
-
ㅜㅜ
-
컴사라져서오인페를못씀ㅠㅠㅠㅠㅠㅠㅠ 악기 연주 좋아해서 쉬는 시간마다 뭐 하나 파고싶단말이야
-
인구 26만 경산 인구 110만 울산
-
대상혁 레어 팔림 대 상 혁
-
에리카 로봇공학과 vs 광운대 로봇학부 AI로봇전공 두 군데 다 붙으면 어디가...
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...