괴델의 불완전성 정리 반박+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
이쁜 여자 ㅇㅈ 올라오자마자 후다닥 쪽지보내자 만나자 이러는게 여미새 아니냐? 난...
-
애플페이 좀 제대로 써보자
-
학교 생활은 어떻게 되고 있는 건가요 과 오티, 새터 같은 행사 같은 거는 못하고...
-
먼일이야 4
1줄 요약 좀 해줘요
-
굳이 여기까지 와서 수험생 의대생 모두 불안감만 조성하는 글을 쓰는 목적이 뭐냐고...
-
네
-
-
역시 남얘기가 제일 재밌어
-
자그로는 없나요 이거 명백한 성차별이네요...
-
혹시 작년에 수학공부 하실때 N제, 모의고사 몇개정도 푸셨는지 알 수 있나요??...
-
아니면 1트 더 있음?
-
진짜 몰라서 묻고싶은 것들인데 싸움 날까봐 무서워
-
[속보]교육부 "의대생 제적, 별도 구제책 없어…학칙 따른다" 11
https://n.news.naver.com/article/003/0013137239 잘가용
-
작년에 카투사는 써볼껄 12
공군은 애초애 나이땜에 입대 날짜 미묘했지만 카투사는 써볼껄 ;;;
-
여어~ 3
-
수1,수2 미적 푸는데 이게 다른문제집이랑 난이도가 얼마나 차이나나요
-
1. 소고기 촛불집회때 미국산 소고기 먹으면 광우병걸려 죽는다고 광신도처럼...
-
외대 쓸걸 1
뱃지라도 받을걸.. 슈발
-
살면서 본 어떤 기출&사설&모의고사에서도 80점대를 받은적이 없는데 3덮 국어...
-
헷갈렸노
-
24수능 봤던 사람인데 24 6모 지구 1, 9모 1, 수능 2였어요 다시 수능...
-
잘한결정이겟지
-
Bok 0
책
-
최상목 대행 탄핵소추 문제도 한 몫 할 겁니다.탄핵소추 정족수를 151석으로 할...
-
-
무등비 삼도극 이차곡선 융합문제 도형 정의 극한으로 활용하기
-
오늘은 안에 런닝셔츠만 입고 와서 못 벗는데 이제 무조건 반팔임
-
1이 가장 나은듯... 어떠십니까?
-
4점 내는게 급수29번보다 나은거 같은데 예전 이지만 가나형 공통 문제기도 했고
-
나 코트 왜 입고왔냐 육수 좔좔 흐르노
-
1-2월: 유기 3-6월: 내신 깔짝+이감 220제+상상 275제 7-8월: 실모에...
-
[속보]헌법재판소, 한덕수 국무총리 탄핵소추 기각 83
헌법재판소, 한덕수 국무총리 탄핵소추 기각
-
수업시간 0
뭐하지
-
ㅋㅋㅋㅋㅋㅋㅋㅋ
-
메인은 여러 번 가 봤는데 여기 올라가보는건 처음이에요 더 열심히 활동할게요 감사합니다
-
그럼에도 불구하고 틀린 선지 똑같이 틀리는 저를 보고 그만 정신을 잃고...
-
(가린 건 친구가 스토리에 글 쓴거라)
-
머가더낳음
-
속보) 한덕수 탄핵심판 결과 기각 5, 각하 2, 인용 1 7
기각 결정
-
햄부거 1
-
올릴 달구사진 못구하겠어요
-
배 아파서 화장실로 튀긴했음
-
-
젭알
-
차단목록좀 늘려라 14
-
수업 재미없음
-
기하가...답이다
-
얘네 실종됨
-
넵
-
학칙대로 다른 과 학생들이랑 동일하게 취급하는 거 아님? 편입은 추후에 생각해야 할...
첫번째 댓글의 주인공이 되어보세요.