괴델의 불완전성 정리 반박+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를 선물하세요.
-
정 반 합 4
의 정
-
지문 존나 난잡하고 선지는 얼탱이 없이 쉽네 ㅅ발 ㅋㅋ
-
55인데 잘본건가
-
adhd검사 2
20살인데 부모님 몰래 병원가기 가능?
-
똥싸는중 10
으어~ 푸드득뿌우웅풍덩풍덩~
-
머가 나을까요?? 들어본 분들 추천 부탁드립니당
-
나도 잘생기고싶다 13
아.
-
닉변?
-
애니프사말고 엄밀히 따지면 애니 아니긴 한데
-
범위 좁다고 나오려나
-
아니 새르비라니까
-
ㄱㄱㄱㄱㄱ
-
관리자님 레어 신청. 레.어.신.청 휴학계 아니라고요 5
근데 승인 왤케 오래 걸림
-
화곡동 실제 후기 궁금함
-
지금 2층에서 못올라가고잇음 한달만더잇엇어도 진짜달리는데
-
기운이 빠져서 조금 무기력해짐 뭔가 좀 그렇네
-
Humble 1
Ddoodooodododooodododooododooododoooodododooodo...
-
.—-.—.—-.——/-/-/-/-/~~~~.—.—.—-.—-.——.
-
또 햄버거 먹어요? 20
네
-
거절이니까
-
국어 기출 오답 0
국어 기출 풀고 틀린문제 오답을 어떻게 해야될까요?? 지금 그냥 틀리면 그 틀린...
-
스바..
-
이건 그냥 개망신이지 ㅋㅋㅋㅋㅋㅋㅋ 뭐하노
-
ㅅㅂ 정답률이 박살났는데
-
김기현 파데랑 킥오프만 문제 풀고 정승제 개때잡 듣는거 어때? 모르는 문제만 김기현...
-
올해 풀 n제들 1
어싸 이해원 드릴6 샤인미 설맞이 하사십 다 할 수 있겠지?
-
요즘좀힘드네..
-
개더움
-
기하는 시발점이랑 생질중에 뭐가좋나요 노베입니다. 공통은 좀 할만해서 기하에 하루...
-
ㅇㅂㄱ 10
-
예전 글 찾아보니 어떤 글에서는 지사의급이어야 되고 어떤 글에서는 3합 5정도면...
-
이세돌이 왜 4
알파고랑 리턴매치 잡힘?
-
학교째고늦잠잠 2
-
집중공격해서 30분만에 죽여버리고 시체방 보냄
-
ㅈㄱㄴ
-
국어 시대인재 0
지금 목동 시대 서준혁(박준호)T 수업 어렵나요?? 몇등급정도가 들을 강의인가요..?
-
여기 21세기 이후론 얄짤없이 최하층민 빈민굴이고 동대표 선거엔 무슨 중소기업...
-
리만가설 푸는법 1
수학의 모든 정보를 명제논리로 나타낸다 그 명제들의 가능한 모든연결을 시도한다 해결
-
등원 첫날에 고딩동창 발견하고 인사하고 오늘 새로 온 애도 또 고딩동창일수가...
-
이름도 기억해내셨는데 난 그 선배 이름을 모름...
-
좀 씻자 제발 4
독서실에 이분 들어오자마자 냄새가 코를 강타함 이게 한달째 같은 냄새 맡고있으니까 죽을지경이에요
-
혀 백태 제거를 7
혀 벡터 제거로 봤네
-
마지막 기회입니다. 알아서 붙을 사람은 붙고 싫은사람은 찌 갈길 가세요 ㅋㅋ 김기현 현우진 보라타카
-
조때따 5
개강3주차 이해한 강의가 하나도없다
첫번째 댓글의 주인공이 되어보세요.