불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
작수랑 그래도 나름 비슷하지 않냐 나만 또 못 본거냐 아니 13번이 쉽긴 했어도...
-
군대가나요복학하ㅛㅣ나요
-
기억이 안나네
-
언매 : 90-92 미적 : 88-89 영어 : 90 예측합니다.
-
국숭세단 목표였는데 원점수 화작 89 미적 61 영어 3 물리 30점대후반 지구과학...
-
생윤 3컷 예상 1
얼마 or 몇 문제 틀 보시나요..
-
내 20대 초 다 ㅈ박았네
-
생각해봐 자신말고 다 렙틸리언 이라고
-
언매 미적 영어 경제 사문 백분위 기준 93 87 2 56 83이네요 탐구를 제대로 절어버려서...
-
메이저의 어디까지 되나요? 지인 점수이고 미적 물1 화1입니다
-
https://orbi.kr/00069900641 뜰 법했는데
-
저번 수능 만점이 68이던데
-
최저맞춰야하는데 너무 간절합니다....
-
ㅇㅇ
-
13222 1
대학어디가냐 언매확통사문생윤
-
ㅈㄱㄴ
-
이번 미적 빡세던데 가능함요?
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음