괴델의 불완전성 정리 반박+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를 선물하세요.
-
-
안녕모드 1
안녕
-
이거 평가원이 ㅈㄴ 봐준거같음 공통점 차이점+변화한 요소 물어봤으면 어려웠을텐데...
-
더프 국어(뒷북;) 16
현역이라 지금 풀어봣는데 다들 더프 국어몇점 맞으셧나요,,, 여기ㅡ다 고능해서...
-
계신가용... 운동 시작하긴 했는데 평상시에 음식 많이 먹어야 하나요?
-
아무것도 난 몰랐잖아~
-
부산대 목푠데 4
너무 1등급에 집착했나
-
라는 조언을 23학번 선배가 새내기한테 해주는 걸 봤다 잠만 근데 23학번 여자면...
-
올 높3?
-
꾸준글 2일차
-
교육부 “대화방서 미등록 인증 요구한 의대 수사의뢰” 6
[이데일리 신하영 기자] 교육부가 단체 대화방에서 미등록 인증을 요구하는 방식으로...
-
현역 국어커리 2
현역인데 국어는 1,2등급 왔다갔다 하는 것 같고 수학은 낮1?(공통은 잘하는데...
-
나를 바라보는 너의 그 깊은 미소가
-
점심 뭐먹을까요 6
삼김 하나로는 안되겠다
-
여름인데 2
반팔에 가디건도 더움
-
-
특정 0
한수지
-
조용한 여사친에게 친화력 갑이고 말 많은 남자 소개시켜줬더니 처음엔 여사친이 잘...
-
정법은 개념량 자체가 많아서 문제가 '너 이런거까지 알아?'하고 물어보는 느낌....
-
고사국 0
올해 고려대 사이버국방학과 점수 어케되나요??
-
Gpt나 뤼튼ai가 상담개잘해주네
-
강X ㄱㅊ나요 3
작수 미적 84따리가 풀기에 과하거나 그렇진 않죠?
-
다른거 입고 나갈게요
-
ㄹㅇ 장카설유 1
실제로 봐도 고백 안하고 받아도 찰 자신있음ㅇㅇ
-
24km 상공에서 미하 3.1로 날다가 공중분해된 비행기에서 낙하하기
-
지난해 지구 온도 1.5도 상승…"기후위기 마지노선 붕괴" 2
지난해 지구 온도가 산업화 이전 대비 1.5도 오른 것으로 나타났습니다....
-
이거 뭐 어떻게 되고있는건가요 증원 취소한다는 소리도 있고 뭐가 뭔지 모르겠음...
-
공동체 속에서 살아보는 경험이 ㅈㄴ 중요한듯 3달동안 재종에서 커뮤증마냥 살아보니까 느낌뇨
-
경북대 부경대 부산대 경북대 전자위주 공대 (한우) 부경대 전국최대 공대 (고래)...
-
크르르르르르르르르르르
-
시험 운용적인 측면에서만 피드백 하면되나요? 이 지문은 어떻게 읽었어야하고 앞으로는...
-
얼버기 0
-
닉변함 2
ㅎㅇㅎㅇ
-
오늘의 소확행 14
집에 남은 자투리 야채로 대충 된장국끓여서 밥말아먹고있는데 어설픈게 엄마가...
-
ㅈㄱㄴ
-
너무 시간낭비인가 개학전엔 일주일에서 토요일만 쉬었는데 (힘들지만괜잔앗음) 개학후에...
-
학과 ㅈ 도고려안하고 입결높다고 가는건 ㄹㅇ 아닌거같음
-
올해부터
-
일케 f(x)가 잇을 때 역함수를 그려보자 일케 그리면 된다함수가, g(t)는...
-
자꾸 이 브금이 머리속을 맴도네ㅠ
-
핑두 성공법이나 명기 성공법 이런거 올라왔으면 댓글로 ㅈㄹ발작할 년들이 한 트럭이었을텐데
-
탐구 고민 0
작수 12233 나옴 약대 목표고 작수때 생지가 백분위 87 77 나왔어서...
-
휴대폰 끄고 오르비 가려도 다 안다
-
현생에서 자꾸 인싸 ㄹㅈㄷㄱㅁ이 나오려고함
-
해부학 과제 그림그리는게 제일 ㅈ같음
-
사탐런 + 확통런으로도 공대를 갈 수 있을까요? 공대간다는 새끼가 사탐, 확통...
-
난 열심히 했어 1
이게 내 한계야
-
알림창 무엇 9
뭐하는거니
-
더워-! 2
아츠이~
-
서울지하철 2호선 신도림역 탈선…“일부 구간 운행 중지” 6
서울지하철 2호선 신도림역에서 출고되던 열차가 탈선하면서 일부 구간 운행이...
첫번째 댓글의 주인공이 되어보세요.