괴델의 불완전성 정리가 틀린 이유
게시글 주소: https://iu.orbi.kr/00071957468
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
두개 역 사이에 있는 역 맞추더라 ???: 시청이랑 종로3가 사이역이면 종각역인가?...
-
입술 뜯는습관 7
미치겠네ㅜ 2n년째 못고치는중
-
재밋는 얘기 하고 약간 취해서 볼링이나 야구 롤 등등 하러 가는 게 최곤데 참...
-
이 레어는 goat 에x머님의 손을 거쳐간 유일무이한 레어로, 지금 구매하시면...
-
안면윤곽수술 마려운데.. 양악이 워험함 안면윤곽수술이 위험함
-
나같은 쓰레기가 인간답게 살려면 대학이라도 확실히 잘가야만해
-
닉변, 프변 9
19일 남음
-
내가 찾던 사람~
-
왜 이런 제도를 만들어갖고 사람 귀찮게 하는건지 그냥 교육과정 딱딱 맞춰 놓고 끝내면 안되나
-
다들 멘트도 쓰시나요? 그냥 합격증만 띡하고 올리나요
-
자신있는데
-
제곧내
-
좋은거 같아요
-
진짜 감사히 다니겠습니다,,,
-
재수 고민글 0
고3 수학 미적분3모 93점 백분위 99.285모 92점 백분위 99.846모...
-
나름 현역으로 가고 학점도 괜찮아서 안심하고 있었는데 나이드니까 진짜 학과 무시...
-
ㅋㅋ
-
술 게임 하는 것보다 그 술 게임에 옵션 넣는 게 개재밌음 투터치 훈민정음 연좌제...
-
지하철 못해서 맨날마심
-
아니 존나 어렵던데 진심 나 이해가 안됨
-
다 버려서 다시 보고 싶은데 방법이 없ㄴ
-
범작가 유튭에 댓글로 왜 평가원 메뉴얼에서 앞부분 짜르고 뒷부분만 가지고 그러냐...
-
야마노테선 ㅇㅈㄹ하면 갑분써되고 찐따됨?
-
지하철 ㅇㄱㅈㅉㅇㅇ? 20
지방충 ㅅㅂ
-
지하철 게임 0
몇호선? 몇호선? “ 서해골드라인 ”
-
2초칼삭햇는데 아무도 못봤겠지…?
-
수학 기출 공부 1
기출문제 2 3회독 하려하는데 기출대부분 어디다가 푸심? 기출문제집에다 푸심?...
-
샤워하고 바로 자야지..
-
댓에다가 쓴소리좀 써주셈 다들 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
진짜 이건 해본적이없음
-
언녕히주무세요 오르비언 15
안녕히주무세요
-
퇴근 중 6
고대 발 줄줄이 사탕식 추합 인원 미공지때문에 도파민 터져서 일 많이 못했네요 잠시 무물이나..
-
이기상 쌤 알짜기출 강좌로 기출문제 충분한가요?? 강좌가 3월 말에 나오는게 너무...
-
와졸려 6
공부하기로했는데오늘도순공0분이야ㅠㅠㅠㅠ 내일은 진짜 함(진짜임)
-
내일 미터인데 5
주의해야할 점과 친구들과 잘 친해질 수 있는 꿀팁 알려주세요
-
약 함 묵엇다 10
몽롱해지삐네기냥
-
백석역 소요산역 인천역 수원역 화서역 병점역 군포역 안양역 등등
-
D-111입니다 2
헉
-
뱃지가 잇는게 기만임 죽을거임
-
수험생활이랑 비교하면 공부량 어느정도 차이 날까요?
-
어렵지 않고 무한 환승으로 내 옆자리 사람 죽일수있음
-
시대인재 관련 질문(특별전형/ 성적선발(25수능 이전)) 0
특전 써서 붙었는데(서울대/30장/23수능 수학 백분위 98) 특별전형으로 가면...
-
지하철 겜 질문)~로 환승 이랬는데 환승 못하는 역이면 어떡함? 7
그러면 환승 이라고 말한애가 술먹음?
-
카페알바하다가 화장실에서 찍었는데 스타일링 한거 같아요 안한거처럼 보이나요..?
-
과기대식으로 918 정도였는데 과기대 썼으면 떨어지는 점수임? 전기정보나 자전 쓸까 고민했었는데
-
시마이 13
ㅋ
-
오르비에서 보면 그냥 응원해주고 싶음. 의대를 가도 설대를 가도 그 사람이 갔으면...
-
제 뇌피셜들입니다. 틀릴 가능성이 꽤 높으니 마음껏 반박하셔도 됩니당 1. 생각보다...
-
ㅅㅂ 술게임 생각나
-
오랜만에 오르비 들어온 김에 김상훈 전형태는 아직도 사이 안 좋은지 물어봐도 되나요??
만약 리만가설이 증명불가능하다는 걸 증명하면 100만 달러는 받겠지만 그게 리만가설을 증명한 게 되는 건 아님...
아니 증명불가능 하다는걸 증명했으면 증명을 못하는거아님?
정확히 말하면 G라는 문자열은 (그것의 해석이 논리적으로 참임에도 불구하고) 그 형식체계 안에서 형식적인 문자열 조작 규칙을 통해서는 도출되지 않는다는 것이 G:"G는 '증명' 불가능하다"의 의미이고
(혼동을 막기 위해 이 의미의 '증명'(=도출)을 증명1이라고 언급하겠음)
괴델이 '증명'한 것은 그 문자열의 도출(=증명1)이 형식체계 내에서 불가능함을, 형식체계 밖에서 메타적으로 논증해 보인 거임. (이 의미의 증명을 증명2라고 언급하겠음) G라는 문자열을 형식체계 안에서 도출(=증명1)시킨 것이 아니라.
즉 G가 언급하는 '증명'의 의미(=형식체계의 공리로부터 형식적인 문자열 조작 규칙을 통해 도출됨)와 괴델이 한 '증명'의 의미(=그 문자열이 형식체계 안에서 도출 불가능함을 형식체계 밖에서 논증한 것)가 다르고, 따라서 모순되지 않음
요지는, 괴델은 G를 형식체계 내에서 도출(=증명1)시킨 것이 아니라 그 도출이 불가능함을 형식체계 밖에서 논증(=증명2)한 거라는 것
이게 대체 무슨말이지...