불완전성 정리가 틀린이유
게시글 주소: https://i.orbi.kr/00069328218
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
06이었음 ㄷㄷ
-
저 진짜 ㄹㅇ 아무것도안했고 9모도 4틀 3이고 여름 더프도 6-70점대 였는데...
-
3p까지 다 맞고 4p POh,Ph 문제 하나 까지는 무조건 다 맞출 수 있는데...
-
내년 과탐 예상 3
다음 중 가장 비슷한 관계를 가진 두 대상을 고르시오. (서울대 투 필수 폐지 전...
-
화작 94 미적 60 영어 91 사문 47 생윤 50 입니다... 작수 화미물지...
-
지금 부터 수능 까지 2번 남았는데 이감 3회차 남은 거 어떻게 다하겠다는거임?
-
가즈아
-
ㅠㅠㅜ
-
N중부정 N중 중첩문장 자주나와서 짜증남 이번 퀄모 가나지문도 그랬던거같은데
-
제발...제발!!!
-
121=9 141=33 151=65 181=513 1171=?
-
ㅋㅋㅋㅋㅋㅋㅋ
-
강민철 대기 3
대치러셀 강민철 강기분 독서 대기 142번 문학 166번인데 대기 안빠지겠죠?...
-
4123 됨
-
할매턴 시즌2 보는줄
-
소솔직히 4
오르비에 기만자들 전용 채널 하나 만들어야한다고 생각해요 배아파디지겟네
-
풀어야.. 겠죠? 입체도형 다까먹어서 ㄹㅇ 개풀기싫어요 ㅠ
-
y=x-1 에 대칭인걸로 못푸나요 왜 안되징
-
더프 기준 커하
-
107세 할머니 이마에 10cm '뿔' 났다..'장수의 상징이다' 난리 [헬스톡] 5
[파이낸셜뉴스] 이마에 뿔이 자라고 있는 107세 여성이 화제를 모으고 있다....
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음