불완전성 정리가 틀린이유
게시글 주소: https://d.orbi.kr/00069328218
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
언어이해 문제도 수능 수학처럼 뒤로 갈수록 어려워지나요? 방금 맨 마지막 문제 다...
-
19학년도 리트 언어히해 기출인데 어렵진 않음 풀어보세용ㅎㅎ 수능대비로 리트? 음...
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음