불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
여름이다
-
얼버기 11
오늘 아침밥 헤헤
-
반박불가.
-
계속 자고 싶어
-
오늘 국군의 날 도심 행진...광화문 일대 교통통제 2
[앵커] 국군의 날인 오늘(1일), 시가행진이 펼쳐지는 서울 광화문광장 일대는...
-
1. 미적분 개념을 겨울방학때 다 할 수 있는지 궁금합니다 2. 완전 노베인데...
-
감청법 통과되면 ㄹㅇ 지금까지 쌓아놨던 민주주의 기틀이 순식간에 무너지기 시작할거고...
-
그리 즐겁지 않았던 것 같은데 내 곁에서 내 힘이 되어주었던 사람이 자퇴를 하지...
-
세지 9덮 2
세지 9덮 42점인데 몇등급정도임?
-
이제 D- 숫자 하나하나 지워지는 게 크게 느껴지네 0
7월부터 했는데 벌써 3개월이나 지났네 시간 참 빠르다
-
물1 47점 2등급이라는데 내가 이상한데서 입력한건가?
-
만점받기 쥰내 쉬운 과목 물리!! 다들 기회의 땅 물리로 오세요 과탐만점의 꿈 여기서 이룹시다
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음