괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
본인 고등학교,대학교가 7 4
4년제면 좋아요
-
04년생이랑 같이 1학년 다녔던 게 엊그제 같은데
-
2026학년도 수능 과학탐구 모의고사 검토진 모집 4 2
안녕하세요. 수능 모의고사 출제 전문 회사 메이저원입니다. 저희는 시대XX 서바이벌...
-
가벼운 것도 좀 풀까 2 0
재미없는거 하려니까 힘드네
-
-
-
지금 추합 생각보다 빠른데 5 2
서강대가 다군 빨리 돌려서 예상보다는 빨리들 추합 되는듯
-
나도 우리학교 뱃지 달고싶다 0 0
고교 3년간 가진 뱃지 로망 때문에 냥뱃을 달았지만 내 심장은 지스트로 뛰고 있는데
-
그래서 뭐 어쩌라고 8 1
오늘이 발렌타인데이인데 뭐 어쩌라고
-
흠냐뇨이 1 0
뭔가 우울하다
-
이젠 그런 짓 못해
-
뱃지는 약수뱃이 젤 이쁜듯 10 0
설뱃도 이쁘긴한데 설뱃은 간지나는 이미지가 더 큼
-
짜증나게 유튜브 삭제해버릴까
-
카이스트 등록포기 했는데 학교내부메일이 계속 오고 3 0
신입생 새터방에도 초대가 되네요 등록포기 잘 된거 맞겠죠?
-
카리나포카받음 2 0
우리동네엔 없길래 지하철타고옴
-
자야지 2 0
-
지방러들 새터 4 0
지방 사는 분들 새터 갈때 대부분 당일 첫차 타고 가죠? 전날에 올라가서 자는건...
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함