괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
의외로 명곡인것 8
-
수학 “기출분석” 이 새끼가 너무 모호함 논리적으로 완벽하게 제대로 쫘악 다...
-
서울대 의예과 재학 / 자사고 수석 입학, 수석 졸업 / 내신 1.5 / 수능...
-
폭이 너무 짧음 올라갈땐 괜찮은데 내려갈때는 앞발을 안전하게 딛으면 뒷꿈치가...
-
공식:(전년 수능 응시자수)*(올해 수특 판매 비율/전년 수특 판매 비율)*1.1...
-
미적분 합성함수 2
그래프 못그려도되겠죠?
-
해설과 강의를 안보고 문제와 나 사이의 야차룰을 뜨는 사람이어야 함
-
지금 일클 연필통 원데이 풀고 마더텅 문학 독서 각각3지문 푼다음 영어는 조정식쌤...
-
모든논리는 NAND로 표현가능 NAND는 수식으로 표현가능수식 Y = 1 - (A...
-
필쏘 굿!! 이네 Brilliant Move !!
-
아니 제발 한주에 한주치 올리라고 무슨 4주치가 한꺼번에 올라와 업로드 맞춰서...
-
'누텔라' 개발한 그 사람…밸런타인데이에 세상 떠났다 1
글로벌 인기 초콜릿 잼 '누텔라'를 개발한 프란체스코 리벨라가 밸런타인데이에...
-
103->70->35까지 왔는데 제발 ㅠㅠㅠ
-
전 그래서 그냥 안정카드를 8칸으로 잡았었음 떨어지기싫어서..
-
본인이 그러한 일에는 전문임
-
어그로 뫼송 강민철 솔직히 어떰?? 강평강평 거리던데
-
다 듣는게 낫겠져?ㅎㅎ
-
수분감으로 기출 돌리고 아이디어 책 선물 받은 게 있어서 이걸 빠르게 듣고...
-
뱃지 달렸나요 2
ㅇㅅㅇ
-
n은 10 미만의 자연수
-
탁탁탁 10
?
-
과탐 붙잡고 있다가 반수 실패 후 대학 계속 못 갈것같아서 올해 사탐런하고...
-
그렇게그렇게 페이스메이커 풀라고 했는데 개학 2주남은 지금까지 밀리고있고 올오카...
-
-
육룡이 나르샤에서 권근하고 열혈사제 박대장이.... 같은 배우였다고??? 나 진짜...
-
생보지 7
근데 진짜 우영호T가 이렇게 쓸때 있어요
-
무려 4개
-
안녕하세요. 00년생이고, 현역 당시 나형 높은2 였습니다. 개인사정으로 대학 안...
-
ㅈㄱㄴ
-
아니 근데 어제 공부 13시간 20분은 어캐한거지 이게가능함? 해봤는데도 어캐했는지 모르겠음
-
안녕하세요, 경북대학교 새내기 여러분! 저는 경북대 컴퓨터학부 23학번입니다....
-
뭐다뇨?
-
넷상 평균학력 스카이 (진짜임)
-
ㅇㅇ..? 내가 잘 몰라서.. 주변에 정시 카이스트는 못들어봄
-
그립다 0
22 오르비
-
본인 초딩 때 문방구마다 100원 전자오락기 있었음 3
당연히 본인 포함 초딩들 그 앞으로 겜하러 하교 중 달려갓는데 이젠 겜기도 없고...
-
수학이 이해과목이라는 넘들은 지가 수학을 어떻게 푸는지에 대한 인지자체가 없다는거임
-
못생겻다 7
ㅋㅋ
-
뭐 내신 확대되고 등등 개편되면 내신 ㅈ박은 학생 혹은 자퇴나 검정고시생은 아예...
-
경희대 일본어 0
예비 몇번까지 붙었나요??
-
“미·러, 우크라 종전 위한 고위 협상팀 신속 구성 합의” 1
[서울경제] 미국과 러시아가 우크라이나 전쟁 종료 방안을 놓고 사우디아라비아에서...
-
인자 새르비 안한다 19
참이여 참이라니까
-
ㅇ?
-
알바하느라 이제봄뇨
-
덥네
-
뱃지 왔네요 4
뭔가 자랑스러워지는 느낌입니다.
-
중대 ICT 추합되어서 끄트머리면 전공선택할때 1지망 전전 선택해도 안되는건가요?...
-
아니 무슨 수능이 과거시험도 아니고 오픈북을 왜반대함 7
솔직히 뇌에 새겨진 알고리즘 기억빨로 치는거잖음 누구나 수능답지가 아닌이상 뭘...
-
학교 내신때문에 수능특강 강의 켰는데 미모가 ㄷㄷ 조정식 선생님 그동안 감사했습니다..
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함