불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
로 공부하기싫은데 어캄; 팁좀요
-
병원에서 몽정함 ㅅㅂ 11
입원 6일차인데 ㅅㅂ 몽정했음 기분 ㅈ같네 꿈 내용이 존나 껄1렸는데 하아 몽정만...
-
평균적으로 검산까지 다 하면 15분+-2 쯤 걸리던데 10분에 맞춰야 1등급...
-
저는 전혀 어느쪽 편인것아니라 걍 공부하느라 세상 돌아가는걸 잘모릅니다ㅏ. 이번에...
-
저녁에 먹어야지 16
음 카드 합격
-
이제 다시 공부하러 학교 가야지~
-
한무반복 on
-
작년에 졸업한 고3, 현재 노베 재수생인데 완전 전과목 쌩노베 상태로 재수하니깐...
-
3일만 기다리면 3
진짜 딱 3일만...
-
ㅈㄱㄴ 학생회장하고했는데 막 겉돌진 않겠죠
-
에구구…이눔아! 거긴 할미…
-
뭐 먹지..
-
분량 참 많구나 근데 세금쳐먹으며 정치질이나 하던 놈들이 웬 자연인 코스프레하고...
-
4월달에도 그랬는데 지나치게 높음 ㄹㅇ 수상해
-
더데유데=마피<<<<<<<이명학 실모 맞음?
-
회차별로 난이도좀 알고싶은데 오르비 후기로 확인하자니 꼭 어렵다고 앓는 사람들...
-
스트레스받기싫은데
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음