불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
독해력이딸려서 4분남기고주파했어요 근데 어떻게 다맞았지
-
젤 부러운 분들.. 수능판도 미련없이 뜨실듯
-
닥치고 기출 회독(평가원 기준 3 교육청 기준2(미적))
-
드릴에서 풀고 있는데 막히네요...역시 비싼값 하는구나 우진이 형...!
-
이게맞나 싶을정도의 선지
-
.
-
13일 남았다..
-
집왔다 6
씻고 공부해야지
-
어제 친한 학생이 풀고 멘탈 나가서 울먹거리며 힘들어하길래 9평 50점 맞은애가 뭐...
-
06이었음 ㄷㄷ
-
10덮 1컷 48뜬거보니 11덮 48점 맞고도 안심을 못하겠네요..
-
회색비둘기 흰비둘기 일케 있는데 회색이 더 커서 수컷같고 흰색이 암컷같음 둘이 서로...
-
오늘 이퀄보고 발등에 불 떨어짐..
-
앞장에서 멘붕와서 29번 풀때 -1인거까진 확정이고 2랑 k 결정할 때 케이스...
-
비추 ㄷㄷ
-
과목별 틀린 개수가 135135임ㅋㅋㅋㅋㅋㅋㅋㅋ (한국사부터시작) 근데 5가 표점...
-
공통 2틀인데 언매4틀….?? ㄹㅇ평가원 많아봐야 1틀이었으뮤ㅜㅠㅜ 다시보니 걍...
-
[단독] 한국이 싫어서?‥호주군으로 떠나는 한국군 간부들 3
[뉴스데스크] ◀ 앵커 ▶ 우리 군의 핵심 간부 출신들이 호주 군대에 입대한 사실이...
-
집단 300개주고 갯수비교
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음