괴델의 불완전성 정리 반박+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를 선물하세요.
-
왜 GPT랑 클로드랑 결론이 다르냐
-
[엽기카와 매뉴얼] 180621(가)를 로피탈 9번만에 푸는법 25
우리의 작업은 명확함 1) 0/0꼴이 아니면 -> 모순이 생기는지 확인 2)...
-
허수특 7
꼴에 남들 가르치는거좋아함 내얘기임 그래서 직업 교사로 하고싶음
-
해설을 이해 못하겠어서 포기
-
엠티가기싫어 3
피곤한데..
-
그게 나야 바 둠바 두비두밥~ ^^
-
학교는 서울인데 집이 지방, 특히 전남이나 부울경 같이 멀면 얼마나 자주감? 한달에...
-
[AllFree] '기출의 김지형지물'-ORBI 수학 11
[INTRO] 이번 강의는 최근 유형만 빠르고 효과적으로 정리하고 싶은 친구들을...
-
주말과 휴일인 21∼23일 경남 산청과 김해, 경북 의성, 울산 울주 등 전국에서...
-
+) 12, 13번 문항에 오류가 있어 수정했습니다. 항상 제 부족한 문제를...
-
오르비 닉 추천해주세요 25
심심한 달리기선수 사랑과평화우정 어피니티 셀레스티얼 my love 지로함 연구원...
-
너무 두서없이 글을 올리니 의도가 잘못 전달된 거 같습니다 전 원래 16 수능...
-
사문 빼고 할거없음 ㅠ 찍먹하는데 다 거부감만 든다
-
제발
-
오늘까지 생윤6강 경제4강 동사 한지 1강씩 찍먹했는데 생윤은 못하겠고, 경제는...
-
바나나를 먹으면 나한테 바나나 차이나에서 고백하면 차이나 오렌지 먹어본지 얼마나...
-
방정식 [nx]=[my]를 만족시키는 자연수 n, m의 순서쌍 (n, m)이...
-
거유 2
거위의 옛말https://orbi.kr/00061753668
-
더 있어ㅇ ㅛ ?
-
https://orbi.kr/00072562421/ 끌올
-
갑자기생각난사실 2
과외쌤마이린닮은거같음
-
왜 신기햇는지 까먹엇다
-
기본 모의고사라고 얕잡아봤다가 탈탈탈
-
섹 2
헐
-
아무도 언급 안하길래 올림 학교에서 조사 안하고 그냥 주문 넣어서 사탐 시험지 부족함 ㅋㅋㅋ
-
미안해이런거안할게
-
어떤 할아부지가 오셔서 우리한테 훈수 두시면서 점수 세시더라,그러다가 갑자기...
-
으악우님이 동의동의 ㅠㅠㅠ 이렇게 하는거 기여움
-
ㅈㄱㄴ
-
시간이얼마나남았는지는 상관없어 어떻게 쓰느냐가.. 중요하지
-
뭐가 젤 나음뇨?? 서점가서 보면 기파급이랑 시대에서 나온 거 있던데
-
진짜 작년 상상 파이널 이후로 처음
-
무슨지문으로 알려줄까 독서 거의 노베던데 일단 논리실증주의자와 포퍼 생각하고있긴함
-
지금 김상훈 문학론/독서론 듣고 있는데 강의 스타일은 저랑 잘 맞습니다만 뭔가 선지...
-
이과 6퍼면 4
문이과 통합하면 몇퍼정도됨?
-
물떼기 풀주기 7
많이 먹어
-
풀떼기 물주기 6
-
역시 워드마스터가 제일 goat인가요
-
싸움임? 9
-
벤또..... ㅆㅂ..... 벤또를 가져와라.....!!
-
뭔가 추가 질문하긴 부담스러워서 그냥 이해한척 하는중
-
지금이 원서철은 아니지만 수험생분들 중에 서울대와 의치한을 두고 고민하시는 분들이...
-
언매 92. 미적 88. 영어 84. 물1 50. 지2 33. 지2 11월까지 잘...
-
아무말도 안하고 잇음
-
ㅇㅈ 1
심심함
-
유일한 친군데 안 온다라,, 친구가 공집합이 되어버렷네
-
등급은 3~4 왔다갔다하고 기본적인 문제는 다 맞으니 21~24, 순서완벽하게 푸는게 목표입니당
-
오르비 40분동안 잡으며 문득 생각이 드네요 이런 ㅅㅂ
-
또 싸움? 6
나도 싸울래
-
첫번째 댓글의 주인공이 되어보세요.