괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
김건희 진짜 예쁘네 5 1
오빠 계란말이라니까 무슨 계엄이야
-
한서삼인가경vs인가경한서삼 6 0
어떤 분이 댓글 다셔서 갑자기 궁금해짐 어떤 순서로 알고 계시나요?
-
퇴근까지 4시간 5분 0 0
-
오르비는 예비고 1때 시작하는게 맞음 10 5
일찍 할수록 보이는게 많고 내신도 챙기고 여러모로 도움 많이 됐을듯 특히 ㅈ반고라면 강추
-
영어 0 1
고3 기준 안정적인 2뜨는데 메가, 대성패스 있습니다. 볼륨 낮고 괜찮은 선생님 추천좀 해주세요.
-
새삼 복근 보이는게 얼마나 대단한건지 깨닫늦중 13 0
쉽지않네
-
즐기겠습니다 3 0
즐기는 자 이길 수 잇슴? 물론 공부를 즐기진 않을거임
-
오늘 미적만 14시간 박았는데 4 1
진짜 내일 못일어날듯.. 머리가 반으로 쪼개질거가타ㅠㅠ
-
중대 전전 vs 성대 경영 5 0
점수는 전자가 높긴 함 근데 다군이라
-
리젠 올리기 0 0
-
이거 입결표 주작이죠?? 20 0
24수능 현역때 외대 갔는데 본인 건대 미컴, 경희대 영여통번역도 붙었는데 차이가...
-
하루종일 목이 너무 마르다 11 0
짠걸 아침에. 많이 먹으면 안댄다
-
펑크났다니까 기분이 하.. 1 2
이번에 고대 문과 빵나서 고대식 655.5로 붙는 과들 꽤 있던데 기분이 되게...
-
시대 셀룰러아이패드 반입 0 0
다른거 할 생각 없고, 공부앱 제외 깔려있는거 없는데 반입 자체가 불가능한가요?
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함