괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
예비랑 합격여부 알려주세요 ㅠㅠ
-
아
-
고생 많이 하겠지 ㅜㅜ
-
군외합격 9
가나군 붙여주세요..
-
왜 이러는 거임 계속 식겁함
-
[단독] 나랏돈 받은 SCI 논문 5건 중 1건은 ‘부실의심학술지’에 실려 3
게재가 쉬운 학술지에 논문을 올리고 이를 연구성과로 둔갑시키는 행태가 여전히...
-
영혼을 팔고 기프티콘을 받았다..
-
바로 형법 제10조 제3항에 답이 있습니다. 위험의 발생을 예견하고 자의로...
-
설대 목표로 5
사반수 어떤가요? 애반가
-
근데 예비 현황 안줘서 뭐 딱히 서성한쪽엔 의미없긴합니다..ㅠ
-
언매 뉴비를 위한 개념서 좀 추천해주세요(사정상 인강을 못봐요ㅠㅠ) 0
4수 선언한 대학생입니다. 재작년에 전형태 선생님 강의를 듣다가 언매 포기하고...
-
여기 정치와법이나 법과사회 공부하시는 분 많이 계시나요? 0
제가 학습자료를 만드려고 고민하고 준비중인데 많이 계신다고 하면 더 열심히...
-
올해 기하 만백 3
100이었나요??
-
현역 중경외시에서 반수해서 서강대로 올렸는데 한번 더 할까 매우 고민이 되네요 …...
-
천만덕 가쥬아
-
전화추합이랑 예비 다 인증해줬자나 좀 줘라
-
ㄹㅇ
-
이이잉 주라구요
-
-
젤 까리함 진짜임
-
입학하면 사라지나요 하필 상위권도아니고 ㅈㄴ복잡한라인 (국숭세+곽+아인) 이라서...
-
오티가기귀찮다 4
아
-
노베 재수생 물리.. 16
작수 지구 생명 봤는데 지구3,생명4 떴는데… 생명을 잘 할자신이 없어서 물리할려고...
-
수학 실모 기준 2점 3점은 호머식으로 맞았다고 칠 수 있음 근데 4점부터는 좀...
-
High demand leads to high supply. 여기서 그릴 수 있는...
-
2차 추합!!
-
07이 우리를 틀이라 할테니 미래를 위해 마음속으로만 생각합시다
-
학교생활 및 이것저것 질문받습니다
-
왜 3~4일만 지나도 까먹는거지ㅋㅋ
-
저 차 바꿈 5
보리차 먹다가 어제부처 유자차도 먹음
-
갑자기 현타온다 2
나보다 4~5살 어린 애들이랑 뭐하는거지 난 탈릅해야하나
-
3년의 꿈을 이루는군
-
나도 언젠가는...
-
대강
-
확인 gogo
-
감사합니다
-
뱃지 언제주냐 0
ㅇ
-
작수때는 뭔가 미련만 남고 내 20대 초는 ㅈ된 거 같고 했는데 올해는... 뭐랄까...
-
화작 확통 사문 정법인데, 표점 때문에 불리할 것 같아서 확통을 미적으로 바꿀까요?...
-
시간 붕뜨면 카페 935 가봐 나 바닐라라떼 하나 시켰는데 빵 이만한거 걍 서비스로...
-
동국대 전전 0
동국대 전전 얼마나 돌까요? 지금 13까지 빠졌는데 얼마나 돌까요?
-
틀의 기준 4
Chillguy를 모르면 그때부터 진짜 위기임
-
쓸걸쓸걸쓸걸ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
휴 떨어지는줄알았네
-
학교에서 진짜 슬펐던거 10
저는 수학시간에 맨 딋자리에서 시발점 워크북 풀고있었습니다. 그런데 선생님께서 제...
-
잼민의 기준은 09부터임 남동생 09인데 얘는 잼민이임 반박받음
-
경북대 사회 2
경북대 사회학과 빠지시는 분 안 계신가요ㅠㅠ
-
혹시 과외 학생을 찾고 있나요?백날 과외문의를 해도 답장이 오지 않나요? 5분 만에...
-
2과목 내신 진로과목은 보통 학교에서 개념하는걸로만 끝냄? 아니면 셤기간에 기출 한...
-
국어 과외 2
받던 학생이 기숙학원들어갑니다.. 학생에게 줄 종강선물을 추천해주시면 감사하겠습니다...
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함