불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
에피받는꿈 0
물리1으로 박살내버리기
-
45문제 다 풀기 보다는 국어는 1지문 영어는 2문제 낭린다 생각하고 시험보기..?...
-
내신 cc고 언미영물2화2 92 96 4 47 45 경성약 70퍼엿나 글케뜨고...
-
은행의 역할과 금융시스템
-
넘사 뱃지들 많이 봐서 그런가 진학사 돌리니 내 작년 성적으로는 꿈도 못 꿀 곳도...
-
https://orbi.kr/00069337245
-
진짜 죽을맛임 ㅅㅂ 콘서타만의 문제가 아닌거같은데
-
왜 안알려줬음
-
https://orbi.kr/00069332393 평가좀..
-
??
-
더풀 사탐 이거 등급컷이나 채점 기능 같은 거 없음?
-
생윤 질문드립니다 15
3번 선지에서 “부여”가 잘못된거 아닌가요?
-
시험지 구성 관계 X 언매만 봤을 때 순수 난이도 비교 씹물국어 1컷을 91까지...
-
질받 4
ㅈㄱㄴ 갑자기 하고 싶어졌달까..
-
힘드루요
-
어제 유웨이 그떡밥임? 아님 실제로 나온거? 어디서 봄
-
진위 가리고 싶어 물어봄 근데 그 정도로 저출산 개심함?? 저번에 교대 육칠등급...
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음