불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
factos) 화1 수능에 나왔음 9모 물1 꼴 났다 0
그리고 9모 물1은 진짜 만백 89가 나올수도 있었다 선택한 이유로 2등급에서 출발했을수도
-
국어 장클 3주차 독서지문 예습 듄스트라다무스 고전/현대문학 1강 복습&숙제...
-
하나만 풀 생각인데 뭐가 더 낫나요?
-
ㅇㅇ
-
시발 ㅋㅋ
-
이거야말로 과탐 실모팀 다 합쳐서 만들어야 겨우 1회분 나올거 같음
-
과탐이 문제네 2
떼잉
-
ㅈㄱㄴ
-
큐브 VS 콴다 0
이번에 유료 결제하려고 하는데 큐브랑 콴다 어떤 게 수학 질문시 유료 사용하기 더 좋나요?
-
핫식스라는 범부만 마시다 최근에 몬스터접한뒤 효과 좋아서 매일 한캔씩 따는 중인데...
-
지구 강k 실모랑 oz실모 중 뭐가 더 어렵나요??
-
으악ㅋㅋ
-
안녕하세요 제가 개념서에서 본 각 대별 대륙분포는 제가 기억하기로는 고생대 때는...
-
어떻게 한나라에 1
천룡인 비율이 50퍼지 조선시대 돈으로양반사던 그시대도 아니고 ㅋㅋ
-
다시 기출뺑이 쳐야겠다
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음