불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
실력 느는 거 체감되나요? 수능때 안정 2라도 유지하고 싶은데
-
기존 프리패스 있던 학생은 이미 심천지 되서 알아서 살 거니까 안 챙겨주고...
-
너무 틀.딱이라구요? 내
-
방금 솔텍 part2 하루만에 다 풀었는데 중심별 시선속도 부분 상당히 빡세고 배워갈 부분이 많네요
-
내가 개념서 달달 해봤자 진짜 완전 암기문제가 아닌이상 좀만 퍼즐 좀만 꼬아서 내도...
-
아
-
민증나왔다 3
히히
-
남들실모 벅벅할때 눈물이광광
-
실모로 60문제 공통모로 22문제 N제로 20문제 가끔 수학이 마려운 날이있음...
-
생명은 작년에 안해서 그렇다지만 지구는 내신까지 3년차인데 실력이 왜...
-
수학 1컷이 130에 95면 1컷 92아닐 가능성도 잇지 않ㄴ나..
-
모고에서 독서론 포함 언매까지 거의 항상 20분 걸리는데 많이 늦는건가요?
-
살려주세요 8
국어물리 빼곤 건드릴 수 없어요 하기 싫게 생겼어..
-
a곱b곱c곱=16의 조건을 만족시키는 자연수 abcd순서쌍 수 15
3H4? 4H3?
-
검색기록 쉽지않음 이거 공개되면 내 장례식장에 온 사람들 내 영정사진 흘겨보면서 돌아갈듯 ㄹㅇ
-
예전글들 들어가보면 프로필이 안뜨는 분들도 계시더라구요? 근데 그런분들이 엄청...
-
사탐하자그냥시발..
-
그러면 감청해도 모르지 않음?
-
6평 15분 9평 18분 걸리는 난이도였음 그런데 블랭크가 아니라고?
-
사계론에서 자연권이랑 자연법이랑 같은 의미로 봐도 되나요..? 어디서는 자연권이라는...
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음