불완전성 정리가 틀린이유
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거말곤 정상화 시킬게 없다
-
공부합시다 2
김찬호입니다
-
궁금…ㅜ
-
2025학년도 9월 모의평가 통계자료(Crux Table) 사전 공지입니다. [탐구...
-
공휴일이라 또 애매하네 최초로 선 성적표 후 통계자료가 나올 시험이 되려나
-
생활패턴개박살나있음
-
컷 진짜 너무 궁금하다
-
[리트=6평] 주제통합지문 내용동일 리트지문2개 투척 pdf첨부. 2
파일 2개 리트지문과 올 6평 지문을 비교해보세요. (리트 읽고 풀고 한사람과 첨...
-
https://orbi.kr/00069332393
-
수상할정도로 수능표본만 개높은 과목
-
최저러들은 개 ㅈ된거 아님? 이과애들은 최저때문에 어쩔 수 없이 과탐하는 애들...
-
내년에 여러 인서울 상위 대학들이 정시에 내신을 반영한다고 알고있습니다 내년 정시...
-
2일연속 밤샘 해보신분 후기쫌여
-
다 품절이라네..
-
낙지 지놕사 탕탕이 연포탕 수산가게 원서 시즌되면 다양했는데 번외로 고속이...
-
하
-
불물 > 불 기조를 유지하던 평가원의 기존 관습에도 불구, 꽤 평이하게...
-
2 3점부터 계산실수나 삼각함수 특수각 이딴걸 잘못써놨는데....... 머리를 존나...
-
공부량 조절해야됨? 백분위 99,100에서 원점수 58로 떨굼 (수학)
-
아 육회먹고싶다 3
육회에 노른자 탁 풀어서.... 낙지는 싫어하니 빼고 삼겹살..... 소고기......
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음