괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
한양대 경영 0
한양대 경영 2차추합까지 몇명 빠졌나요??
-
서강대 인문이랑 영문 커트라인 어디까지 뚫렸나요?
-
합격예측이 하나도 안됐는데 뭔 합격예측은 진학사 ㅇㅈㄹ하고쌌노
-
중대랑 냥대 비교가 그렇게 문제될법한일임?? 신고가 들어와서 블라를먹이는거면 좀...
-
정말내신스럽다 5
ㅅㅂ
-
냥대 3차추합 1
떴어요 기다리시는분들 예비빠진거 확인해보시길
-
살사람
-
수1 기초 or 실전개념이 사탐 하나랑 강의수 똑같네 수학 포기했으면 지옥을 맛보는거임 ㄹㅇㄹㅇ
-
형용할수없는 역한 감정이 넘실한 파도같음 아좆같네 진짜 왜살지 내 멘탈이면 40되기전에죽을것같은데
-
두찜 맛잇나요 5
안먹어봣는데 맛잇으면 먹으러 가볼려구요
-
1,2차 다 너무 안빠지는데..
-
아
-
화학을 생물화시켜봤다 19
내신 모의고사에 넣은 문제라 소수점 점수 있는거 평가원 기출을 좀 하드하게 바꾼?...
-
시대질문 1
이번에 시대3관걸렸는데 선생님은 아직 모르는건가요 강기원 현정훈 선생님 듣고 싶은데…
-
생윤 질문 0
고등 능력을 가진 동물은 내재적 가치를 지닌 존재이다. 3모에서 이 문장을 레건이...
-
밥 먹고 왔는데도 진학사 그대로인거 같은데
-
추합이 이렇게 피말리는 일 일줄이야..
-
틀딱수험생이 간다
-
잘잤다 2
내 세시간ㅋㅋ
-
언미화1지1인데 저게 연의가 됨? 절대 안될꺼 같은데
-
-
제목이 곧 내용입니다,, 오늘 수특이 배달왔는데 2022개정 공통수학머시기랑...
-
ㅘㅡㅑㅕㅕㅜ 1
ㅓㅠㅜㅏㅡㅏㅏ
-
천만덕 가쥬아
-
하아...
-
진짜 문화충격급인데 김밥을 안사먹는편이라 모르겠네
-
히히
-
친구 2차 추합인데 개많이 떨어진거 같은데 ㄷㄷ
-
이게 안도네요 2
예비 1에서 멈췄네요 아직 4차가 남긴 했지만 이대로 계속될까봐 걱정됩니다...
-
경희대 3차추합 둘 다 0명빠지고.. 작년보다도 안도는거같은데요;; 서성한은 잘...
-
저주 퍼붇고 겁줄라고 발악인 새끼들 존나 많네 뭐하는 새끼들이냐
-
그래서 또 떡볶이랑 새우튀김김밥 시켰어요 맛저하세요!
-
중앙대 3차 추합 결과랑 성균관대 2차 결과 반영 된걸까요???
-
볼때마다 웃음벨
-
믹 말도안되는 번호라 생각해서 확인 안했는데 알고보니 붙었던거
-
홍대 추가합격 0
도시공학과인데 첨에 비공개에서 추합 1차때 62번 2차때 58번인데...
-
2024년 7월에 오르비에서 활동을 시작한 이후 7개월 만이네요,,ㅎㅎ 나름...
-
나군 성신여대 38명 뽑음 22년도 51명, 23년도 54명, 24년도 39명 뽑음...
-
와 이게되네 0
2025/02/06 홍익대학교 합격 2025/02/07 서울시립대학교 합격...
-
진지하게 엄청 쉬운건 아니지 않나요..?
-
이제 고3인데 아침에 밥을 먹어야 머리가 돌아간다는 얘기를 들었습니다 평소에...
-
디맥하자 디맥 12
킬게요
-
치대 떴냐?! 3
'이빨뽑이 장사꾼' on
-
성대 경영 ㅇㅈ 4
-
경희대 3차 추합 다음주 월요일까지만 등록금 내면 되는건가요??
-
열명 뽑고 내가 점공 49등 예비 40번까지 주는데 3차 추합인데도 예비 번호...
-
-
응원해주신 모든 분들 모두 감사드립니다!! 해외여행하다가 합격통지를 전화(국제전화도...
-
원래 1학기 학교 제대로 다니고 2학기 휴학하려 했는데 기숙사 광탈함 ㅜㅜ
-
합격했는데 어디를 가는 게 좋을까요? 통학시간은 비슷합니다
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함