불완전성 정리가 틀린이유
게시글 주소: 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를 선물하세요.
-
강제로 고등학교행인가 ㅅㅂㅅㅂㅅㅂㅂㅅㅂ
-
놈 촘스키 옹 보빈 옹 라이프니츠 옹 칸트 옹 명수옹 생각나서 갑자기 존나 친근해짐
-
강사 풀커리 따라 가는 중인데 마더텅 같은 기출 따로 안 봐도 괜찮을까요? 보는 게 좋나요?
-
의까아님 일단필자는 메디컬에 관심이 없는 1인임 걍 증원되네? 컷낮아지네? 개꿀...
-
ㅇㅇ?
-
100일차때 선택과목 바꿈
-
물2 50 화2 47 지2 47 다른거 꼴 보니...
-
큐브 현상황에 개빡쳐서 오랜만에 로그인한 오르비언 12
일단 사태 요약. 수학 드랍하고 최저러가 되기로 결심 후 한동안 큐브 안씀. ( 흑...
-
https://gall.dcinside.com/board/view/?id=dcbest...
-
?
-
사실 수능 충분히 적당한난이도로 낼 수 있는거아님? 1
모든 컨텐츠 다 갖고들어가시는데 등급컷 찾아보기만 하면 난도 조절은 껌아닌가 싶어요
-
목표가 2등급 턱걸이라도 맞춰야해서 어떻게 해서든 수학하려는데 좀 어려운 4점 하나...
-
27 30틀 기분이 째진다
-
메가스터디를 믿읍시다
-
커넥션 < 이해원이랑 난이도 비교했을 때 어떤지?? 0
이해원 s1 다풀어서 커넥션 풀려는데 난이도상으로 커넥션이 좀 더 어렵나요?
-
근데 찍맞이 거진 6명이상되는듯 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음