괴델의 불완전성 정리 반박+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를 선물하세요.
-
난 초중딩 때부터 생겼는데 머지...
-
음음 모르겠네 나 열등감 심한편임?
-
*은 문제 유형 이번 쌍사가 신기한게 둘 다 3번에 북조, 남조가 나왔다. 풀이법...
-
고대 한의대 연대 미학과
-
실시간 ㅇㅈ 4
얼굴살ㄹㅇ뭐지 다이어트드갑니다
-
엿가락처럼 '풍력발전기' 꺾였다…전남 화순에 무슨 일이 4
전남 화순군 야산에 설치된 대형 풍력발전기 타워(지지대)가 완전히 꺾여버린 이례적인...
-
사실 한걸음 떨어저서 견지하는 태도는 기본적으로 필요한건데 왜 양비론이 볼드모트같은...
-
1문제라도 틀리면 큰일나는거처럼 느껴지고 불안해 미쳐버림 나만 이러나 여튼 계속...
-
ㅇㅈ 10
나임
-
추천좀
-
연계체감 안된다는 의갼 많던데 풀어야하나
-
나는 나를 믿지를 못하겠음 내 감각과 이성을 못믿겠음ㅋㅋ 내 눈으로 직접 본것도...
-
아 씻고싶다 1
비 맞아서 꼬질한 상태로 밖에 10시간 정도 있었움 난 아긴데... 빨리씻고싶다
-
해떠있을때 자고 해지면 일어나서 공부하는데 미용실은 해떠있을때 영업하고 해지면 문닫음
-
셀 수 없이 많은 한잔을 마심
-
고3이고요 겨울방학 때 키스타트 듣다가 넘 많아서 키스로직으로 넘어가서 다 듣지도...
-
중간고사도 끝났고 해서 AI를 도입해보려고 합니다... (이게 뭔가요?)
-
정신의 병 10
나혼자 덩그러니 남겨진 느낌 헬스나 조지러 가자
-
헛소리를 잠시 해봤습니다 죄송합니다
-
e의 xy승 미분때리면 xy 음함수미분하고 원함수 그대로쓴거랑 곱하기 맞냐
-
겨울방학에 동네학원에서 미적분 개념이랑 쎈 정도 한바퀴 돌렸습니다. 이제 내신...
-
가끔 눈 앞에 뭐가 떠다님..
-
헐설레
-
[단독]민주당, ‘서울대 10개 만들기’ 공약 추진 7
https://n.news.naver.com/mnews/article/449/0000...
-
학교공부효율 0
학교에서 한 세시간 푸는 숳학 문제 집에서 푸니까 바로 다풀리는데 효율이 넘 안...
-
https://www.youtube.com/live/GKrtisHessw?si=eXA...
-
둘중에 뭐가 이쁜거 같음 난 색감은 2인데 빨강 밀랍 실링 장식 못참겠음
-
최적 통계게임 2회독 중인데 이제 머해야함여…++ 기출 한 번 더 돌릴까요?!!...
-
필통 내용물 8
당근 필통 당근 검정 볼펜 6색 당근 볼펜 당근 형광펜 × 2 당근 샤프 당근...
-
ㅈㄱㄴ
-
극 P의 계획표 1
그냥 범위 쭈루룩 나열해두고 하고싶은거 골라가면서 도장깨기함ㅋㅋㅋㅋㅋ
-
람쥐 아쿠아
-
연락하지말라더라
-
현재 고2 27수능 언매로 응시 예정입니다. 2024 응시한 실모: 작수 82 더프...
-
액막이 현관문 종 제도샤프 3개 볼펜(삼색아님) 내일 사야하는 것 샤프심, 지우개, 손목보호대
-
할 수 있을거 같은데 다 하면 인증하러 올게요
-
이제 강기분 넘어간다 ㅠ 늦은만큼 열심히해야지
-
똥침이란건 실제론 없음 12
대부분 똥꼬침임
-
문제 풂 6
-
[단독] 삼성, 美 최고 두뇌 손 잡았다…660조 미래 먹거리 정조준 2
삼성전자가 스탠퍼드대, 매사추세츠공과대(MIT) 등 북미 최고 명문 공대와 ‘기술...
-
넌 12시까지 못 잔다 교과서 세 부 ㅍ프린트 해온거 다 풀 때까지 나도 안 갈거임
-
이 ㅅㄲ실수임 틀린문제 정확히 발상만 딱딱 짚어서 오답정리하는데 그대신 색깔이...
-
그리운 오르비언 5
이수린 많은걸 배웠는데..
-
경찰서감
-
잘자 3
오야스미
-
진심임
-
제발 알려주십쇼
첫번째 댓글의 주인공이 되어보세요.