괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어후 14
520페이스 죽겠네요 그냥 630으로 뛰고 오겠습니다 어이고
-
교과서 구석에 쳐박혀 있는 개념 문제들 ㅈㄴ 나옴 기출만 풀고 가는데 개념에서...
-
얼마에요……….?
-
여기까지 잘 구해놓고 1/2 + 1/9 통분하면 분자에 11 들어가는 거 모르고 10분 더 썼음
-
연논 시립논 모두 파이팅 논술을 박살내보자요!!
-
수학 천재분들 제 사고 한번만..정리? ㅠ 도와주세요 5
2025.06.미적 28번에 f(x)=t를 만족시키는 x의 최솟값을 g(t)라...
-
에혀 ..
-
수업해주는 문제만 풀긴할건데
-
준수한 퀄리티의 문제를 10분만에 뚝딱
-
-
부라 책상에 자료 산이 쌓여있겠네
-
화작 높 1 수학 높2 영어1 물1 높3 지1 낮2 어디 공대까지 갈 수 있을까요
-
정병올거같아
-
하아아아ㅏㅏ아아ㅏㅏㅏㅏㅏ
-
덕코주새요
-
미 국방, 세계각지 복무 군장성 800명 소집령…사유 '불명' 9
피트 헤그세스 미국 국방장관이 세계 각지에서 복무 중인 미군 현역 장군 전원을...
-
이제는 시1발 카톡에서도 숏폼이네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
아시는분…
-
[자료 배포] 사도세자 공부법 - 뒤주에서 사회문화 공부하는 법 4
— 「사도세자」 1권(계층·불평등) 무료 배포 안내 “사회문화는 아는 것 같은데,...
-
젊은 원장 컨셉으로 학원하나 차릴까
-
-
이브의 데뷔방송을 볼 것인가 리제의 신의상 공개를 볼 것인가
-
과탐은 시간 어느정도 박는게 맞나요? 1~2 진동하는 정도 실력이고 50점...
-
폭파해버릴거야 진짜
-
-
아 감기걸림 2
목아파ㅠㅠㅠㅠ
-
좆같네 네개 풀었는데 45 2n 44 3n ㅋㅋ 이거맞음? ㅆㅂ
-
공간이 없다..
-
저 신입생이죠 4
올해 입학하는 궁금했어요? 조금씩 궁금해 해도 되요 저 어디안가요 언제든지 답하고...
-
저는화작충유사짱깨조선족,화짱조입니다
-
팜해린 시절에 쓴 글인데 지금 이 시점에 중요할 것 같아서 리메이크 해봤어요....
-
9덮 결과 5
언확경사 97 92 100 38 50 무보 11141 보정 11121 자..작수의 악몽이
-
메가스터디 김지영 선생님 v112제 풀어보신분 잇으신가요? 0
제곧내 입니다~ 질문할게 잇어서요
-
뜨아아아이 0
집가서푸파해야디디야무디게모고야디
-
제가 고등학생 때는 민사고, 대원외고가 최고존엄이었는데... 5
특히 민사고는 약간 꿈의 학교 같은 느낌도 있었습니다.공주 한일고 간 중학교...
-
아수라 0
겁나기네 현강생 리스펙한다,,
-
오르비 입문했슴다 평소에 강k 80초~후반 진동하다가 깨달음 얻고 22회 100 야르
-
세사 자작입니다 오전에 올렸다가 피드백 빋고 수정한다음 다시 올려봅니다
-
수능 표본 10퍼정돈가?
-
이번에 두 출발 현대소설을 이벤트로 들어봤는데 제가 틀린 34번을 왜 틀렸는지...
-
2번틀렸습니다. 2,22,30틀 공통 유기해서 시간오래걸리니 30 보지도 못함
-
역시 노래는 3
90년대 최고지
-
수학 주관식인데 답이 27로 나온 상황임 근데 알고보니 평가원의 실수로 조건 1개가...
-
수특독서 2
이제 과학파트 드가는참인데 그냥 풀지말까요.. 과학파트여서 그런건아니고 ㅎㅎ 님들은...
-
님들님들 17
숭컴 <~~~ 이걸로 과외 구하는건 ㅆㅃ 양심 뒤진 3끼임뇨?? 이래뵈도 작수 확통...
-
연논 치시는분들 3
이 글에 개추 누를시 최초합함.
-
담요단 ㅇㅈ 3
인정해주시오.
-
방정식 f(x)=t의 실근의 개수를 g(t)라 정의한다. 라는 발문의 경우에는...
-
ㅇ
-
연논 0
이거 고사장 다 신촌인가요 송도는 없나영
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함