괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이 세상은 내가 노력이상의 무언가를 가져가게 안두는듯 7
그게 아니라면 주요과목에서 찍맞이 하나없는게 말이 안됨
-
귀엽긴하네
-
그랬기 때문에 항상 공허한 느낌이 드는 것일까요,, 어디로 가야 할지도 모르겠어요,,
-
원과목이에요
-
지금 미미미누 n수의 신 나가려면 어떻게 해야하는걸까 8
수능만점 아니면 걍 못갈거같은데
-
카투사는 16
어떻게 가는건가요 머해야함..
-
아무도 못 보게 할 수 잇겟네
-
있을 자리가 없다 올해까지는 짜져있어야지ㅠ
-
옆에 여자에 손가락 강제로접기
-
누가 캡쳐하면 어캄
-
수험번호 체크도 안하고 뱃지 주시는거 같던데 기생충 딸래미마냥 위조 해버리면..
-
제가 육회비빔밥을 아주 좋아하거든요 중앙대 다닐땐 맨날 육회비빔밥먹었는데...
-
초성퀴즈 ㅇㅈ 5
힌트) 자유낙하
-
저 황족경영 갈래요
-
같이 해요
-
연초에 전담에 종류별로 몇번 해봐도 다시피고싶단생각이안들음 좋은거긴한데 신기하달까
-
그냥 수업 결석하고 보러가는건가 아님 병결?
-
지금 시야 밝기가 암흑상태
-
수1에서 물어봐도 되나 직접적으로 볼록한거 증명하라곤 안할거고 문제에다 껴넣게
-
기하러의 시대가 온다는거야
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함