괴델의 불완전성 정리 반박+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를 선물하세요.
-
근데 난 감 8월부터 본 사설들 다 1이었어서 아깝긴했지만(그만큼 사설 성적은...
-
은근 많이했구나 그리고 큐브에서 오르비언 찾기 개쉽더라 대학이랑 성적 대충 알면 다...
-
ㄹㅇ 줫빠지게 수학해야것다………
-
대 연 세 1
개맛있어보이누
-
혹시 담임컴텨에 누가 언제 어떤 전화번호로 통화했는지 나오나?
-
웬만하면 미적 1컷은 88이게 정배 여기서 좀 어렵게 나왔다 하면 3-4점 빼면되고
-
(나)를 보고 f(x) 사차함수여서 절대 기함수가 될 수 없다는 점에 주목해서...
-
파본검사 때 비문학 소재, 문학 연계 훑어보는데 화작은 뭘 보면 좋을까요? 공통도...
-
배진짜고프다 0
야무지게 굶어야징
-
미적기준 92일것같은데. .
-
(조용히) 오르비 검색창에 덕코로 검색하고 10페이지까지 봤는데 덕코주세요가 뭘...
-
하....
-
귀류법 없이 한번에 풀림 대부분 강사들 풀이보다 나은듯 변형문제들에도 적용되는듯(배...
-
왜냐 영어를 ㅈㄴ 못하거든 ㅋㅋㅋ 원래 못푸니까 이게 어려운건지 몰랐음 걍 원래...
-
이거 넘어가면 그냥 인강 들으면서 앉아있기 정도밖에 안됨..
-
공부만 하려고 하면 자꾸 잡일 시키고, 일을 계속 주니까 걍 아무것도 하기 싫네....
-
망상속 계획은 매일 전과목 공부가 가능한데 세과목만 공부해도 하루가 다 감 국어...
-
힘들어도 참고 하나하나 하셈
-
미적분 수능 기준 컷이 얼마정도 일까요
-
확통기간 1
개념기출 끝내는데 얼마나 걸리나용 이쪽지역 미적 현역들은 개념기출만 딱 끝내고 수능보던데
-
Zola임당 8일 저녁에 교육청 시험에 대한 유툽 분석 영상 촬영을 했는데 [참고]...
-
호들갑떠는거같음
-
언어와 매체 88점 (비문학 -3 문학 -2) 미적분 88점 (공통 -1 미적분...
-
통통이 동료들아 3
아무리 그래도 20번 정답률 15퍼 21번 정답률 4퍼는 너무한거 아니니
-
운동 안하고 바로 스카갈라고 하면 뭔가 빈둥거리게 되는데 뛰고나서 스카갈라고 하면...
-
기적의 논리 1
-
3모1에서 10
5모 저리 심하게 미끄러질수 있나 음 그래 그럴수 잇지...믿어
-
-
22 28 29 30틀 입니다 뭐해야할까요? 나름 n제좀 많이 풀었다고 생각했는데...
-
어려움? 너무 쉬운거 아니면 병원에서 검사 끝나고 러셀 복귀하면 풀어보게
-
결국 4반수 0
1달동안 달려서 6모 ㄱㄱ혓ㅋㅋ
-
평가원이나 교육청 공통은 웬만하면 다맞거나 실수나서 하나 삑나는 정도였고 풀어본...
-
스카가야겟지..
-
일단 개ㅅㅂ 홍보행위 아니냐 하겠지만 수익금은 싹다 기부할거(넥슨 푸르메 등...
-
따뜻해 0
방금 죽었나봐
-
수학 하방 0
상방은 1턱걸이 정도고 하방이 없는 수준인데 이땐 뭐하면 좋을까요??
-
까먹었어
-
덕코거지됨 9
ㅜㅜ
-
호잇호잇 2
쨔
-
수원지역이라 그런가 ㅅㅂ 그냥 장난으로 숨고에 내 이력 아주대 수논으로 들어간거...
-
두두 0
다다다
-
뻘글의 신 0
이 되고싶어
-
5모 수학... 0
12번 어럽다길래 쫄앗는데 스무스하게 풀리던데 ㅇㄴ 근데 13부터 계산 말림.. 왜지?
-
귀류적으로 a1 구해서 a1 부호 확정 a3에서 a5로 갈때 케이스가 4갠데 다...
-
30번은 기출에 비슷한거 많아서 머리 잘굴리면 풀리던데 29번은 읽자마자 케이스...
-
여의나루역 0
..
-
할말이없어 2
근데 글을 올리고싶은데 어떡하지
-
국평오인데 전 솔직히 말잘하는거나 글퀄 좋은거 구분안됨 7
일단 내가 장문쓰면 못썼다 소리 듣는건 기본이고 딴사람이 쓴 글보고 이게 잘쓴글인지...
-
시대인재 전국 컨텐츠를 얻을 수 있는 학원은 어디어디임요
-
삼반수 가치 2
근데 인가경 한서삼라인에서 삼수/삼반수 해서 중경외시 가는거면 가치 있다고 생각하시나요??
첫번째 댓글의 주인공이 되어보세요.