괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
새터 환불 원래 얼마나 걸림? 0 0
환불신청하고 이틀정도 기다렸는데 원래 오래 걸리는지 모르겠네요
-
수능 더 봐야하나 0 0
실수틀 너무 많이 했는데 미련 정신병 때매 못 참겠는데 나이도 많은데..
-
화작 확통 사문 정법인데, 표점 때문에 불리할 것 같아서 확통을 미적으로 바꿀까요?...
-
옯스타 팠는데 16 0
이거 보통 어떤 용도로 쓰나용
-
‘교사 불지옥 시작’ 3 4
관계기관장이 질병기록 확인 가능, 임용시 거르기 학부모 + 기관장 심사로 현직도...
-
틀의 기준 4 1
Chillguy를 모르면 그때부터 진짜 위기임
-
자꾸 자기 6,9때 경한급이었다고 하는사람 있어서 근데 경한 -중대인문은 차이가 너무 크지않음?
-
유니스트 합격 9 0
유니스트식 494점 2차 추합에서 붙습니다~~~ 고민을 해보겠지만 아마 약대로 빠질것 같아요.
-
충격과 공포의 유럽문화 3 1
평소같았으면 1바퀴면 겁나 많이 돈건데 그걸 넘어서서 이번 차수에 5명(1/3)이...
-
덕코 주셈 5 1
주셈
-
현실적으로 어렵겠죠 ? 독서 지문 읽는 방법은 알고있는데 지문 읽다보면 그냥...
-
소..솔직히.. 4 2
05년생부...부터는...트...틀..니딱딱..이..이라고...생..생각해여
-
커뮤에서 조롱 많이 당하네 유튭 댓글도 곱창났을려나
-
이럼 뒤도 안돌아보고 사탐임? 5 0
백분위가 국어96 수학95 나왔는데 화학이3등급 생명이4등급이 나옴 스카이공대나...
-
오르비 하니까 눈이 6 3
안 높아짐사실 난 항상 steady한 상태임
-
이명학 vs 션티 7 1
평균 영어 6-7등급 쌩노베라 일단 베이스 잡으려고 이명학 일리 끝냈는데 다음...
-
중대 글금 점공 분석해주실분 있나요? 붙을수있을까요?? 붙는다묜 언제쯤...
-
의뱃이 왜케 많음 6 0
에휴이
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함