괴델의 불완전성 정리 반박+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를 선물하세요.
-
수2를 이제 막 실전개념 시작해서 맞춘게 4점 9,10,12,14,20밖에...
-
특히 미적분
-
-
정시 입시요강은 9월 초~ 10월 사이에 발표하나요? 0
인서울 주요대학이요.
-
망했어 0
이게 있는줄 몰랐어
-
심란하다
-
나름 2000년대에는 구소련의 저개발과 분쟁 다루는 나름의 비중이 있었고 성취...
-
중앙대학교 문과 지망합니다올해 수능 응시생 수가 증가한다는 점을 고려했을 때화작...
-
[지구과학I] On The Field S1 해설지 19
On The Field series 1의 주요 문항 해설을 첨부합니다. 해설은...
-
근육량이 지멋대로 8키로 증량됨 30->38되어버림
-
독서 공부 0
문학은 얼추 잡혔는데 독서가 ㅠㅠ 솔직히 거의 서칭해서 푸는거같고 김동욱...
-
9012주7(실험) 문제 개맛있네...
-
자버림
-
어디있는거죠
-
네
-
수학 못하긴 하는데 메타 끼고싶어..
-
안녕하세오 수학 공부가 고민인 허거덩스입니다 다름이아니라 지금 제가 강윤구t...
-
나..나도 의대 6
....수시는 이제 가망이 없노
-
저 문학 작품 읽는 틀 갖추고 싶어서 짤막한 거 들으려다 김젬마쌤 별헤는밤 문학...
-
지문 이해 하나도 안되고 문제도 진짜 말 그대로 다 틀림 자꾸 신경쓰이네요 뭐가 문제지……
-
수학황분들…… 1
수학 13까진 맞출때도 있고 틀릴때도 있는데 아이디어랑 뉴런 미친개념중에...
-
확통런하고 수분감이랑 뉴런 했는데 기출을 또 다시 자이스토리나 이런걸로 하는게...
-
이 사람 아이디어가 계속 나오는 게 놀라움 내용은 매번 얼탱이 없게 웃김 ㅋㅋㅋㅋㅋㅋㅋㅋ
-
이러면 ㄹㅇ 홍대병인가
-
kda 15.6찍음
-
한달만에 4.5빠지는건 좀 무서운데
-
오르비 처음 이용해 봅니다07년생은 맞지만 재수생이구요, 문과입니다.올해 N수생...
-
할수있다 할수있다 시발시발
-
정시 1
하고 싶은 밤이라고
-
닉 정했다 8
14일 남았네
-
원래 잘했던거임? 아니면 실력 오른건가
-
나 ㅈㄴ 급식 잘먹고 당떨어져서 초콜릿에 밥 잘 먹는데 한달만에 4.5키로가 빠짐;
-
어떻게 떡집 이름이.. 10
야한말+야한말
-
너무 늦는건가 나
-
ㄹㅇ ㄱ?
-
행복하세요
-
7/21 기록 2
공부 시간을 좀 늘려야하나...
-
뽀록뜨면 낮1 작수는 88임... 좀 볼륨작은거없나
-
넵
-
7/20 기록 2
엥 어제꺼 안올렸네용
-
만덕 받아가라 14
꼭 받아야하는 이유 한명 댓글 수정 안 받아줌
-
영어 해석 질문 5
"A is followed by B" 가 "A가 일어난 후 뒤이어 B가 발생했다"...
-
님들 수열할때 예를들어 (((a_1×a_2<0이고 a_3×a_4<0))))이다....
-
기만함 할게룔 8
더울땐 실내로 ,,
-
작년 6평 25113 작년 9평 14122 작수 14244 올해6평 13112 추이...
-
현재 6병째 11
으흐흐
-
다음 닉변 뭘로하지 18
음
-
빅포텐 풀려는데 시즌1,2 난이도 어떻게 되나요?? 빅포텐 풀고나서 설맞이가...
-
내 취향이긴 한데 본인은 언니분이 카리나보다 더 내 스타일이신거같음
-
24수능 22 28 29 30
첫번째 댓글의 주인공이 되어보세요.