불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
수특 문학 문제 4
가 시에서 A에서 B로 가면서 화자의 내적 갈등이 심화되지 않는다고 나와 있는데 왜...
-
12월에 한번보고 어제 다시 봤는데 이번9평급으로 쉽네ㅋㅋㅠㅠ
-
감청법 통과되면 1
진짜 2030한남은 지나가는 개새끼만도 못한 인생일듯 아지금도그런가?
-
ㅇㅇ
-
피곤하다
-
117일차
-
18년도에 고등학교내신 전교2등 일반고였고 대충 학교수준은 서울대 고대 연대...
-
못찾겠음 ㅠ
-
10퍼나올정도는아니였지않나..
-
독따아 2
-
개꿀팁 있으신분?
-
물리 실모 30분안에 푸는 건 진짜 사람이 맞는거임? 1
진심모드로 개빡세게 풀어도 특파 19문제 푸는 게 한계인데 이거보다 어려운 실모...
-
아니 실수 개많긴 했는데 이건 아니잖아
-
읽기 능력은 확실히 좋아진 듯
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음