불완전성 정리가 틀린이유
게시글 주소: 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
이거 ㄷ이 맞는 이유가 뭔가요?
-
우리집 개 보고가세요 17
귀엽죠 ㅎㅎ
-
생각해보이 항상 더프 22번을 못푸네 잠깐 22수열이였던적 이후로 계속 못푼듯
-
대강 틀은 잡고 검토하는데 g(1) 최대 나오는 그래프개형을 직감으로밖에 찾지를...
-
강케이가 매주 나한테 이렇게 말하네..
-
2019학년도 교육청 모의고사 문제르고 해서 열심히 찾아봤는데 2019학년도 3 4...
-
이해원보다 어려운거 같은데..반타작 나는데 유기해야 되나
-
슬럼프옴 ㅈ됐네 13
걍 공부가 하기싫네 독재가서 책펴놓고 마음속으로 공부하기싫어 공부하싫어 3000번 외친듯
-
(진짜모름)
-
현실적으로
-
For the Kill-X
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음