불완전성 정리가 틀린이유
게시글 주소: https://ys.orbi.kr/00069328218
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
과목별 틀린 개수가 135135임ㅋㅋㅋㅋㅋㅋㅋㅋ (한국사부터시작) 근데 5가 표점...
-
공통 2틀인데 언매4틀….?? ㄹㅇ평가원 많아봐야 1틀이었으뮤ㅜㅠㅜ 다시보니 걍...
-
집단 300개주고 갯수비교
-
가격이 ㅋㅋ 대성으로 끝내자 걍
-
107세 할머니 이마에 10cm '뿔' 났다..'장수의 상징이다' 난리 [헬스톡] 4
[파이낸셜뉴스] 이마에 뿔이 자라고 있는 107세 여성이 화제를 모으고 있다....
-
정법 11덮 6
정법 11더프 풀어보려하는데 풀만함 ????? 난이도 후기좀요
-
여캐 코스프레 ㅆㄱㄴ이겠는걸?
-
고2 10모 1컷이고 평가원 기출 준킬러까지 1회독한 상황이어서 겨울방학 때...
-
재수해서 비카이스트 과기원갔을때 학벌로 나 깠던 카이스트 ㅅㄲ 7
너때문에 이악물고 삼수했다 이 ㅅㄲ야 고맙다
-
충격적이야.. 난 보통 대부분 뭐라 막 해도 허허허 그럴수있지 허허허 하는편인데..
-
소수 민족이 씨발 왜 문화적 특성이 아니냐?
-
언매 97 미적 96 영어 90 물리 42 지구 47
-
231115 맞음?
-
3수할때까지+올해확통체험해보면서엄청도움많이받았는데아쉽네요...
-
저번 강모가 기억이 올라오는데...
-
안녕하세요, 오르비 개발팀 입니다. 오늘 오후 12시30분 경 부터 오후 1시 정도...
-
저능저능열매ON 4
문제를핥아보자.
-
뒷북인가
-
잘풀리는날이 있는거같아요 유난히 잘읽히고 유난히 답이 잘보이고 일단 오늘은 아닌듯
-
피곤하다 5
기절
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음