괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://orbi.kr/00071842378/2025%20%EC%84%B1%EB...
-
이거뭐임?
-
그런건가
-
은테 달고싶다
-
정답 4
평일은 매일 들어가고 주말은 최소 하루는 들감
-
하.... 오늘 외이러냐 으이엥 우웅오뿡이바부야지켜죠뜌땨따
-
으아아아아아아아악 논술도 좋아 정시도 좋아
-
시대컨이나 선생님들 개인컨 풀면서 드릴,빅포텐 같은 n제도 보통 같이 푸시나요?
-
음 메디컬 빼고요ㅠㅎㅎ
-
20년도 수능 봤었는데 요새 문과 수능 엄청 어려워졌다면서요? 제가 봤을 적에...
-
어떰??
-
클ㄹㄴㄷ 이거 볼려고 했는데 스포 당함 그래도 볼만함?
-
아시발 왜이러지 벙신짓 두번 연속으로함 ㅋㅋㅋㅋㅋㅋㅋㅅㅂ
-
근무 시러 5
낼은 안 들가서 다행
-
살이 안빠져 7
하 ㅅㅂ
-
. 6
가각간갇갈갉갊감갑값갓갔강갖갗같갚갛개객갠갤갬갭갯갰갱갸갹갼걀걋걍걔걘걜거걱건걷걸걺검겁것겄겅...
-
나 안아주고 쓰담쓰담해죠,,,,
-
캡틴4재밌냐? 3
흠...
-
-
오류 0
오류
-
엄청길어서 뭐가금지언지 모르는데 망했다ㅠ
-
아침르비맞팔9 5
금테까지 달려보죠
-
금지어 0
윤석열
-
심심한데
-
아님말고
-
여러분 야근/초과근무는 몸에 해롭습니다 ㅠㅠ
-
랄ㄹㅏㄹㅏ
-
이거뭐임 ㅋㅋ
-
오르비에서 춤을 0
-
실례임? ㅇㅇ대에서 ㅇㅇ대로 전과 난이도 어떻나요 이런거 신입생오픈채팅방이고...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 진짜
-
이러면 어디감 0
서울대 국악과 아쟁전공 고려대 사학과 서울시립대 전기전자공학
-
이건 또 뭐야 9
???
-
서강발표하고 발표하자
-
무당 2차전직 예정입니다 감사합니다
-
성대 입학처 전화해봤어요
-
맞춘 한명 천덕 못맞추면 근사값 드림 사람이 많이 없을 듯 해서 기회는 2번 드림
-
주인 잃은 레어 8개의 경매가 곧 시작됩니다. 모로코"2022 카타르 월드컵에서의...
-
맛있는건~ 0
정말 참을 수 없어어~
-
출하싫 0
-
-
쉽지 않네 1
쉽지 않다궁
-
반박은 받지않는다 재밌당ㅎㅎ
-
수학 n제 0
수학 n제 추천해주세요 꼭 지금시기에 풀어야하는거 아니어도 되니까 1년간 풀 n제좀...
-
추합 오지게 안 도나보네
-
얘네가 원서 어케 쓴지 너무 궁금한데 하아
-
진짜 아무 문제 없어 보이는글 막아버리시면 너무 슬퍼요....
-
한양대같은학교보면 마지막에 추합이 제일많이돌던데 최초합권들이 계속빠지지않는이상...
-
-
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함