불완전성 정리가 틀린이유
게시글 주소: https://orbi.kr/00069328218
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
독서 언매 다풀고 시계 봤을때 9시 25분 수학22번까지 다풀고 시계 봤을때 11시...
-
요즘 넘 힘든일이 겹쳐서 속상해요ㅠㅠ 올해는 꼭 대학가야되는데 누구한테라도 응원이...
-
강x 해강이었노ㅅㅋㅋㅋㅋㅋㅋㅋㅋ 아ㅋㅋㅋ
-
개꿀이잖아?
-
전 느낌상 수학 84 물리 47
-
풍선터지는 소리남.... 피가 씨벌
-
오늘도 저의 저능함에 놀라고 갑니다
-
최저런데 생윤 너무 하기 싫어서 미루고 미루고 미루고 미루다 10월 말에 림잇...
-
동의하지? 4
동의했냐
-
맥락이 장수산 속 겨울 한밤에 시름 견디겠다는 시인데 “깊은 산 고요가 차라리 뼈를...
-
지능의 한계 4
공통도 못하는 저능아 ㅈㅈ
-
수학 기출 1
수학 기출 마지막으러 다시 한번 봐야할까요 2가목표인데 지금 3입니다
-
객관식이 다들 쉽다고 해가지고 자신감 개잃었네.. 14,15번 나갔는데 15번은...
-
1페이지 평가원 : 아주간단한 개념수준 문제로 1~2분이면 넘어가게 해줌 사설 :...
-
5000부 판매돌파 지구과학 30분의기적 파이널 총정리집을 소개합니다. (현재...
-
전범위가 약점이야 ㅅㅂ...
-
아오 허리야
-
ㅌㅌ 13일도 파이팅하세요 잘 치면 돌아오겠습니다 절평은 둘 다 1등급이에요
-
잔다 2
니들도 자라
-
지거국인데 타지생활이 너무 불편하고 힘들어서 시작한 반수인데 왤케 불안하고...
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음