괴델의 불완전성 정리 반박+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를 선물하세요.
-
= 240913에서 근의 분리 가스라이팅 당한 사람
-
전리품 너낌으로 근데 어차피 여긴 곧 있으면 못 입을 날씨긴 할텐데
-
이렇게된거수학5등급국어1등급 어둠의세종대왕이돼보는거야
-
남자 오르비꺼라 2
넵
-
우리가 늘입어서 편하니까 입는거지 과시 목적이 아니라해도 일단 과시라고 판단하고 더...
-
첫장부터 어지러운데
-
이게다 {f(x)-f(t)dt 때문
-
깔끔하게 버리고 다른 데 시간투자해야지 6 9처럼 나오면 5분컷이긴 한데 흠
-
넵
-
f(t) + t 미분을 왜 f’(t)+1 이라 했지;; 이거땜에 한 20분 썼는데;;
-
최소한 표점차이는 벌려야되는거 아닌가 왜 줄이려하는거지
-
넵 일단 저부터 OFF
-
수2 다항함수쪽에서 변곡점 좌표 구할때 이계도함수를 이용하여 두번미분한다음 x값이...
-
언미화1지1 94 88 1 47 47 서울대 화학부 가고 싶은데 지금 성적으론 어디까지 되려나요
-
과외선생님오늘너무죄송했급니다 오늘너무저능했슨
-
주먹 ㅇㅈ 0
귀여움뇨
-
멋있어 보이는 줄 아는데 실상은 ㅂㄹ임 걍 입고오지마라
-
손해설 ㅁㅌㅊ? 4
이거 간략화하거나 해서 아이패드 손글씨 맡겨다가 디지털화 할듯
-
개꼴보기싫게생김 ㄷㄷ
-
나 체급이 낮은 걸까 10
실모를 올려도 조회수가 안 찍혀
-
수특 1
지구과학 수특 하루컷 도전
-
흙감자 ㅇㅈ 2
이왜진;;
-
사문을 고정으로 하고 윤리 세사 세지를 지우고 동사 한지 정법 경제 중에 고민입니다...
-
오전까진 했는데 영화보고 밥먹고 집에와서 누워서 웹툰보니까 걍 시작할수가 없네...
-
Ai는 대단하다 2
그냥 뭐 다 알려주네...
-
남자 눈썹까지 다 보여야되나요?
-
당직 바꿔주고 갔다가 참변…산불 사망 공무원 부모 '오열' 1
경남 산청군 사천면에서 발생한 대형 산불 진화 작업에 나섰다 목숨을 잃은 30대...
-
생윤 림잇이랑 기시감 끝나고 임팩트,현돌 실개완 킬쿼모 고민중인데 뭐가 더 나은가요?
-
철학은 어떻게 삶의 무기가 되는가 철학의 쓸모 5분 뚝딱 철학 군나르 시르베크의...
-
투표율이 높아야 정치인들이 말을 잘듣겠죠? 개인적인 생각으로 요즘 세계 각국의...
-
일단 전단지 만들어서 아파트에 붙일예정
-
화미영세지사문 96 85 2 50 50이요 목표는 한의대입니다
-
작수 4등급이었고, 단어는 워드마스터 2000 사놓고 5일차정도만 보고 쳤었습니다....
-
명문대 기준 3
마지노선은 어~듸~?
-
-
선거구 헷갈렸네
-
물생 1
안녕하세요… 고3입니다…….. 3ㅇ월말에 이러고 있는게 정상인가싶지만 고민해결이...
-
#~#. 2
#~#.
-
난 너를 사랑해 7
소리쳐 부르지만 저 대답 없는 노을만 붉게 타는데~
-
미리 할껄 이 소리만 몇년째인지 ㅋㅋㅋㅋ
-
진로 교과목에서 A받으면 1등급 취급이던데요. 이러면 다른 학교에서는 3~4점인...
-
더프 봤는데 왤케 케이스가 머리에 안들어오지 ㅅㅂ;;
-
4합8 맞춰야하고 국어때문에 사탐 1이 무조건 나와줘야합니다 어떤 과목...
-
제 과잠은요 5
있겠냐고요.
-
퀄리티가 나쁘지않네용
-
-
ㅎㅎ 맛잇는걸로 근데 너무 어려우면 안돼요
-
걍과잠입고다녀라
-
-
다른 옷들 입으면 피폭된 수준임
첫번째 댓글의 주인공이 되어보세요.