불완전성 정리가 틀린이유
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
방금풀고 후기남깁니다. 일단 10월 더프보다 어려웠고요. 약간 22,23수능이랑...
-
고사장 확인하려고 들어갔는데 수험번호를 입력하라는데 어떤걸 입력해야하나요?
-
23분정도 쓰고 한두개씩 틀리는데 이거 어케고치지
-
공통 객관식 쉬우면 잘뜨고 객관식 불내면 걍 공통 미적분 연달아 개 박음 슈발
-
-
https://youtube.com/playlist?list=PLiRqI2SHMNel...
-
여기서 (가)에 수소함량 비율 그래프가 주계열성인 단계에서 중심부분에서 평행하게...
-
띵학3회88 0
시발 빈칸세개처틀리네
-
와따시는 롤드컵 보느라 공부 안햇다에요
-
이시기에 뭐하시나요.. 실모 치면서 약점노트 정리한거 보면 될까요
-
이감 남은거 끝나면 상상 파이널 풀라 했는데 걍 버리고 김승모 사서 푸는게 더...
-
. 1
-
높4정도인데 실모들이 너무 어려워서 쉬운 실모 추천해주실수있나요?
-
상상 5-6 0
92점/ 9, 21, 34/ 77m ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ 오랜만에...
-
인생 고민 1
안녕하세요 수능을 12일 앞두고 있는 재수생입니다. 제가 재수를 하면서 10개월동안...
-
메가는 사전예약이 비싸서 대성19패스 사전예약 했는데 이번 대성 사전예약 기간엔...
-
국어 86 수학 82(1번틀림 씨발 뭐하는 새낀지) 나머지 14,15,21,30...
-
이베스 제재를 좀 팔까..? 과학 기술만 가끔 틀리고 인문 사회 예술 지금까지 틀린적 거의 없음
-
일부로 나한테 말 엄청 검 게다가 오늘은 화장 떡칠하면서 계속 말거네 오해가 아니었음 좋겠다..
-
히히 걍 기분좋아
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음