괴델의 불완전성 정리 반박+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를 선물하세요.
-
-
jlpt 앙키 일본어덱을 만든 사람은 귀인이자 신이며 뭘해도 될 사람이다....
-
이전판은 찾았는데 문제가 아예다름
-
가고싶다..
-
솔로들끼리 놀게 냅둬라
-
근데 왜 성적이 그마양 그꼴이지?
-
무언가많이잘못되었다
-
그게 나임 중딩때 반꼴찌 수준이엇음
-
지구 개념부터 다시해보려고 하고 작수 3인데 누구 오지훈 이훈식쌤중에 누구듣는게...
-
진심으로 멋있당............. 나도 올릴 수 있을까 노~~~~~~~~~력은...
-
평면 OAB가 있다할때 우리는 이 평면을 연장시키고 싶다 그럴땐 OA,OB 둘...
-
중앙대다님
-
이감 화작 1컷이 91인 시험은 난이도 어느정도인거임? 수능과 비교해서!!
-
원솔로 기출 하고 어삼쉬사를 유형서로 쓸라고 하는디 어떨까요?
-
문학독서화작 하나씩 틀렷는데 1뜨려나..?? 설마 2뜸..??
-
많이 푸는건가 쉬4~어4(22,30)골고루 30개
-
진짜 확통할걸 1
ㅅㅂ
-
어차피 99퍼의 수험생은 미적96이상 못받는대 ㄹㅇ왜함
-
학점을버리고싶구나
-
근데 ky다니는데 어디가서 sky다닌다고 하는 애 쪽팔림 4
난 당당하게 고대다닌다함(근데 아직까지 어디 다니는지 물어본 사람이 없음)
-
여친대행이라도 구할까
-
17317071 3
먼 뜻이게
-
번장에서 35회분 15만원에 팔던데 살까요?
-
수학 가산 구분 없는거 건대가 유일한줄알았는데….뭐야 이게 이러면 진짜 최상위권...
-
ㅠㅠ 나도 잘하고 싶다 ㅠ 속상하네 보법이 다른 뿌리부터가 다른 사람들이 태반임
-
나 학벌 안좋음…(오르비에 뱃지 없음)맨날 수능만 개 망해서… 그래도 수학은 좀...
-
막히는 부분들이 많음 가끔씩은 25,26도 힘들고
-
현역 3덮 성적 8
90 88 86 50 42 언미물지 지구 어렵네요
-
논술 딸깍이면 국어 7등급도 메이저의대 가능하다니까 심지어 apple bus 몰라도...
-
다들 전적대 17
어디신가요 전적대가 하나가 아닌가 :(
-
엔더드래곤 켠왕
-
앞서 누가 질문했던 언미물지 89 99 2 99 99 를 예시로 들어보자...
-
길을@@@비켜주십@@@시오!@!!@!!!@ㄸ"!#
-
난 이제 대학교 1학년인데 고등학교 친구들이 다 군대가네... 고1때부터 졸업때까지...
-
이거보다 약한거 올린 사람 2명 이미 강요죄로 구속당함...
-
250629 10
내용이...없네 진짜 없네 쎈 C단계 느낌
-
이중피동 ㄷㄷ
-
자아지 1
-
-
언매가 사탐 하나 끼고간다는 말이 존나 웃긴 이유 ㅋㅋㅋㅋ 13
사탐 하나로 끝나면 화작러가 이렇게 많지는 않았을것
-
응원합니다 진심이에요
-
김괴외 제안서를 보내며
-
김종익 컨에 이지영강의 였음 좋겠다… 이지영이 강의력이 너무 좋아서…재밌엉…뇌빼고 들어도 이해가고
-
납치하고 싶다 2
ㅎㅎ
-
동의동의 ㅠㅠ
-
문제 벅벅 풀어재낄 수 있는거 없나 기출도 다풀었고 수특도 거의 다했고.. 뭐해야됨...
-
인생웹툰적고가요 3
웹툰 정주행 달리게 내 인생웹툰 목록 낮에 뜨는 달 냄새를 보는 소녀 숲속의 담 취향 맞춰서 ㅊㅊ좀
-
아는게 좋죠?
-
그랬으면 좋겠다가도 또 현생에서 이기적인 생키들보면 인류애 떨어져서 들어올것같음.....
-
자꾸 미적분 하면 머리가 아프고 몸이 고생하고.. 라길래 과탐에 미적 하는게 좀...
첫번째 댓글의 주인공이 되어보세요.