괴델의 불완전성 정리 반박+a
게시글 주소: https://orbi.kr/00072540180
불완전성 정리란?
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
불완전성 정리 요약
B="페아노 공리계를 포함하는 어떠한 공리계"
제1정리. B는 무모순인 동시에 완전할수 없다
제2정리. B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 없다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
준비물
모든 논리체계는 명제논리로 나타낼수 있다
명제논리는 무모순성과 완전성이 증명되어있다
명제논리의 무모순성을 증명하는 논리체계 역시 명제논리로 나타낼 수 있다
이말은 명제논리로부터 명제논리 자신의 무모순성을 증명할수 있다는 말임
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제1정리 반박
B는 명제논리로 나타낼 수 있다
따라서 B는 무모순이고 완전하다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제2정리 반박
B는 무모순이고 완전하다
따라서 "B는 무모순"는 참
B를 명제논리로 나타낼 수 있다
명제논리로부터 명제논리 자신의 무모순성을 증명할수 있다
따라서
B(명제논리)로부터 B(명제논리)자신의 무모순성을 증명할수 있다
"B는 무모순" and "B(명제논리)로부터 B(명제논리)자신의 무모순성을 증명할수 있다"
위 명제가 참.
따라서
B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 있다
가 참
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
결론
1. B는 무모순인 동시에 완전하다
2. B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 있다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
괴델의 문제
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
완전성 증명
1. (Not A->모순)->(A의 증명있음)
2. (Not A->모순)<->A
3. A->(A의 증명있음)
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
공리의 실체
1. (A가 거짓->모순)->(A의 증명있음)
2. (A의 증명없음)->(A가 거짓 and 무모순)
3. (A는 공리)->(A의 증명없음)
4. (A는 공리)->(A가 거짓 and 무모순)
무모순=참
5. (A는 공리)->(A가 거짓)
6. (A가 참)->(A는 공리아님)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://orbi.kr/00072540574/ 아이민 546의 카르세아린 좌
-
밤 11시까지 공부하고 집에서 쉴 때 코인하는거 어떰?? 현역07인데 코인 한번...
-
뭐 합성식에 뭐에 별별거 다 넣은 퍼즐식은 손도 못대겠음 241122처럼 조건...
-
ㅇㅇ
-
ㅇㅈㅎㅈㅅㅇ 3
-
이제 더는 저런 레어가 보이지 않아
-
그냥 스킬쓰고 요상한거 퍼즐퍼즐보다 241122같은게 나음 아 241122하니...
-
레전드거지 0
내돈…8ㅁ8
-
ㅇㅈㅎㅈㅅㅇ 2
기대중
-
더프 이거맞음? 0
-
f(x)는 이차함수고 문제는 맞췄는데 조건 이해가 제대로 안된 것 같아요 명쾌하게...
-
야이 기요미야 9
이 기여운놈아
-
미쳣네
-
대학 물리 8
초기속도 안주어짐. 높이 안주어짐. 진공상태 여부 안주어짐. 빗면 마찰력 안주어짐....
-
덥대서
-
저격합니다 0
-
귀엽고 싶다, 21
귀여운 건 재능같음 개부럽네 부럽다
-
저격먹고싶다 3
궁금함
-
친구놈 개웃긴점 1
독서 공부법 알려달래서 알겠다고 좀이따가 줌 들어와라했더니 9시에 냉장고를부탁해...
-
오랜만에인증각을 5
보는나:
-
귀여움 2
ㅋㅋ
-
돚거) 30년이 넘는 수능 역사상 가장 미스테리한 사건: 김치국 이야기 5
때는 바야흐로 2002년 말... 2003학년도 수능이 치러지고 며칠 후, 언론에...
-
모국어를 사용해야지 음음
-
25수능 기준 원점수 화작 95 확통 96에 나머지 만점이면 경한 가능한가요?
-
반응좋으면 강기원 자작문제를 로피탈만으로 푸는법 올려봄 2
근데 저작권이 괜찮으려나?
-
지갑에 9000원밖에 없는데 택시비가 12000원 나와서 3000원어차만...
-
240528 풀기 10
올해 처음푼 벡터 기출 시발점 대충 훑으니 약간 풀림
-
허쉬초콜릿삼
-
작수 4번틀 47점인데 이신혁 라이브 듣기에는 조금 부담스러워서... 시중 n제중에...
-
앞으로 더 열심히 하겠습니다. 감사합니다.
-
멈추지 마십시오 가버리게 해주십시오
-
N제 벅벅하다가 여름방학끝나고부터 풀면되는건가요ㅛ ? 보통은 언제부터풀지
-
뒤로미루기 13
과제미루기 자정까지 마감인거 두개있금
-
지금 이 글을 보시면서도 당장 공부를 하고 있지 않은 자신의 모습이 실망스러울지도...
-
일상적으로 안쓰는 한자어들 개많이 나오네요 1회독 악깡버하면 나아질려나 생윤 버리고...
-
왜 GPT랑 클로드랑 결론이 다르냐
-
[엽기카와 매뉴얼] 180621(가)를 로피탈 9번만에 푸는법 25
우리의 작업은 명확함 1) 0/0꼴이 아니면 -> 모순이 생기는지 확인 2)...
-
허수특 7
꼴에 남들 가르치는거좋아함 내얘기임 그래서 직업 교사로 하고싶음
-
해설을 이해 못하겠어서 포기
-
엠티가기싫어 3
피곤한데..
-
그게 나야 바 둠바 두비두밥~ ^^
-
학교는 서울인데 집이 지방, 특히 전남이나 부울경 같이 멀면 얼마나 자주감? 한달에...
-
[AllFree] '기출의 김지형지물'-ORBI 수학 11
[INTRO] 이번 강의는 최근 유형만 빠르고 효과적으로 정리하고 싶은 친구들을...
-
주말과 휴일인 21∼23일 경남 산청과 김해, 경북 의성, 울산 울주 등 전국에서...
-
+) 12, 13번 문항에 오류가 있어 수정했습니다. 항상 제 부족한 문제를...
-
오르비 닉 추천해주세요 25
심심한 달리기선수 사랑과평화우정 어피니티 셀레스티얼 my love 지로함 연구원...
-
너무 두서없이 글을 올리니 의도가 잘못 전달된 거 같습니다 전 원래 16 수능...
-
사문 빼고 할거없음 ㅠ 찍먹하는데 다 거부감만 든다
-
제발
-
오늘까지 생윤6강 경제4강 동사 한지 1강씩 찍먹했는데 생윤은 못하겠고, 경제는...
첫번째 댓글의 주인공이 되어보세요.