불완전성 정리가 틀린이유
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수능도 끝났고 현체내서 실기준비하거나 놀러갈 사람들을 위해서 알려주려고 함 현체는...
-
이거 자랑글 아니고 진짜 진심 물음표 떠가지고 글씀 2
서울대 화학부가 어떻게 의대보다.....?
-
지구과학1컷 3
지구1컷 42될까요.? 43점인데.. 44되면 안되는데 왜 대성은 44로 잡는지....
-
1등급 발뻗잠해두되죠??? 4합5맞추야해요 ㅠㅠㅠㅠ
-
물리 1. 고딩때 학교에서 수업함 (전과목 8등급인데 물리는 4등급) 2. 올해...
-
제발 지2 만표 75 up here we go 한번만 해주면 안되겠냐 솔직히...
-
기하 251130은 22에 비견되는 급이었다. 결국 결과(정답률)이 말해줌. 출처: ㅋㅌㅌ님
-
라고 할때 2년잡고 물2할걸
-
누가 옆 시험지에 물 쏟은 사례가 있는건가
-
문과라인 봐주시면 감사드리겠습니다 사회계열 가고싶은데 가능할까요? 어디까지 가능할지...
-
안 푼것들도 있고 여러가지는 버리나요?
-
과탐 가산점 1
1.과탐 가산점 영향 큰가요? 2.과탐1사탐1할건데 한과목만 해도 적용되나요?
-
현우진 커리질문 1
시발점 끝났는데 뉴런이랑 수분감 들가기전에 개념복습하고싶은데 쎈 풀까 아님 걍 바로...
-
뮤비랑 음악이 너무 좋음 ㅠㅠ 하얀 내 맘에 너를 담았더니 빨간색이 돼 멈출 수...
-
안녕하세요 올해 수능 본 재수생입니다 작년 수능 성적은 이렇게 나왔고 올해 수능...
-
전 이번 수능 확통 다 맞고 백분위 92를 받았는데요 제가 공통을 못 하는것도...
-
무조건 하향지원하세요 수시 어지간하면 버리지 말고 챙기세요
-
인생 개부럽다...
-
진학사에서는 8~9칸 나오긴 하는데 아직 실채점이 안나와서 불안하네요ㅜㅜ 안정으로...
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음