괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
자리가 남으면 바로바로 전화를 돌리나요? 9시부터 전추시작인데 아직 전화가 안왔으면...
-
So call me maybe
-
진지하게 나만 인강교재 필기노트를 주로 보고 인강은 거의 안듣냐 2
텍스트로 이해안되는부분만 인강으로듣는데 정상임? 어차피 다 내용이 필기노트에도있어서
-
인서울 공대가는게 목표인데 확통 사탐 같이 선택하면 불리하지 않나요?
-
카케구루이 4
좋아하시는 분 있? 저는 도무지 사오토메 메아리의 인기를 납득할 수 없음뇨 내 취향 아님ㅡㅡ
-
진짜어디감? 7수하러감?
-
사실 최애는 쟈바미 유메코지만은 모모바미 리리카도 엄청 좋아하는 관계로 샀다...
-
절대힘들까요… 최초예비 983입니다…
-
안사지고 16퍼올라잇네 걍바로살걸ㄲㅂ
-
이제 내 닉넴보면 숭실대학생이라는게 옯붕이들에게 각인된듯
-
이 닉네임 I Love Yon Sei Business 줄인건데 2
쓸일이 없게됐네요 ㅋㅋㅋ 한의로는 닉네임 어찌 지어야 하지
-
이네요....
-
입시 시작하면서부터 꿈꿔왔던 곳이라 붙어놓고 안가게 될거라는건 상상도 못해봐서 더...
-
외대 전화추합 2
오늘 외대 전화추합 몇시부터 시작일까요?
-
어떤가요???
-
https://orbi.kr/00028893538 간절하신 분들 도움 되셨으면...
-
어제 2칸 붙었다는 사람 몇명 있는거 보면 1칸합도 나올거같음
-
근데 이제 모르는 문제는 남겨뒀음 이번주 수목금토 동안 모르는문제 다시 풀어보고...
-
-
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함