최신 증명 Ver 2.2.2
게시글 주소: https://orbi.kr/00072493574
불완전성 정리
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
명제논리의 일종인 NAND게이트의 조합으로 모든 논리를 구현가능하다
실제로 논리게이트로 이루어진 컴퓨터상의 프로그램으로 1차논리 및 고차논리 등등을 구현할수 있다
그리고,
명제논리는 완전성과 무모순성이 증명되어있다
명제논리의 무모순성을 증명하는 메타논리 역시 명제논리의 조합으로 구현할수 있다
즉, 명제논리의 무모순성은 명제논리 스스로로부터 증명될수 있다
명제논리로 모든 논리를 구현가능하고 명제논리가 완전하고 무모순이라면 모든논리는 완전하고 무모순이다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제1정리에 대한 반박
"페아노 공리계를 포함하는 어떠한 공리계"= B
제1정리는
"B가 무모순인 동시에 완전할수 없다"고 한다
하지만 B는 명제논리로 구현할수 있고, 명제논리는 무모순이고 완전하다
따라서 "B는 무모순이면서 완전하다"
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제2정리에 대한 반박
제2정리는
"B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 없다" 고 한다
위에서
"B는 무모순이면서 완전하다"
"명제논리의 무모순성은 명제논리 스스로로부터 증명될수 있다"
B는 명제논리로 구현됨
따라서
"B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 있다" 가 됨
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
괴델의 문제
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
공리의 실체
1. (A가 거짓->모순)->(A의 증명있음)
2. (A의 증명없음)->(A가 거짓 and 무모순)
3. (A는 공리)->(A의 증명없음)
4. (A는 공리)->(A가 거짓 and 무모순)
무모순=참
5. (A는 공리)->(A가 거짓)
6. (A가 참)->(A는 공리아님)
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
완전성 증명
1. (Not A->모순)->(A의 증명있음)
2. (Not A->모순)<->A
3. A->(A의 증명있음)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뭔가 체크나 밑줄이나 필기 이런거 하라는 지점이 되게 애매모호하게 들리는 느낌임 자...
-
국어 고전시가 0
현 고2이고 아까 인강 추천 받았긴 했지만.. 정석민 커리 타고 있는데 매E네 고전...
-
올찐따 자러감뇨 4
내일 봐요!
-
쎈 c 반타작 가능하면 몇등급뜸? (5등급 기준으로 말해주시면 감사요)
-
ㅈ댓네
-
100렙이 될까요?
-
저녁노을이 진 옥상에 걸터앉아~
-
학교생활 너무 어려움.. 선배들도 잘해주고 25학번 애들도 잘해주는데 공식적으론...
-
의미 없지만 일단 올리는
-
국어 화학 등등 양치기해야하는 과목들이 많네..
-
물론 피램도 똑같이 기출인데 적어도 하루에 모고 1세트는 아니라서 차라리 적은...
-
흐에에
-
영어주간지 풀려고하는데 어떤거 추천하시나용 ,,, 션티 주간키스 이명학 수능루틴...
-
이거 문제 절반은 못풀어쳐먹겠고 또 그중에 절반은 뭐라는건지도 모르겠는데 이거...
-
핍박 피하기용 미적은 100점은 몰라도 96은 나오지 않을까 싶고, (솔직히...
-
찍맞 포함 81나옴뇨 으히히
-
통학러는 웁니다
-
3모는 고양이박을수있을거 같아요
-
백분위 98 정도를 목표로 한다면 미적이 나을까요 기하가 나을까요? 미적 : 6모...
-
질문 0
해달라고 두번 말 안한다
-
난이도 자체는 매우 쉬운편 13 교육청 모고라 출제방향은 다름
-
게슈탈트 붕괴해버렷
-
질문 받습니다 0
해주세요
-
피자 와구와구 1
콤비네이션 최고
-
ㅈ반고라 한 33정도 띄울 수 잇으면 어느정도 인정이 될거 같은데 3모 탐구 쉽다곤...
-
난이도 어떤편인가요? 화작봤는데 85 떠서 멘탈나감 실수몇개있긴한데 첫번째 독서에서...
-
뉴비치고 많이 반겨주시니 너무 고맙네요
-
계의(게이)라고 함 그러니까 시선 피하더라 츄베릅❤️
-
Hi 13
-
오르비 현생이슈로 간만에 오는데 시간 왜이리 빠름? 벌써 더프를 쳤다고?
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
뭐가있으면좋을까… 주말에물어보긴할건대
-
조짜는 시간에 결석해서 조도 없고 그냥 별 언급도 없는데 안하고 점수 안받아도 되는거죠?
-
흐흐흐
-
국어 독해력 7
독해력 관련해서 질문 들어오는것이 제일 많습니다. (사실 대부분입니다) 많은 분들이...
-
1년은 1
실력을 확실히 올리기에 충분히 길다.사실 딴건 모르겟고 수학은 확실히 그렇단
-
항상 나라를 지켜주셔서 감사합니다… 무슨 일 안 나게 제가 매일매일 기도하고 있어요...
-
고전소설 다 틀리는 고전 노베 새기분 들어도 될까요 강기분부터 들으려고 했는데 어떤...
-
난시간이없어~ 4
어 존나
-
ㅈㄱㄴ 강기본완강했는데… 걍 강기분할까
-
인서울 장점 11
서울에 있음
-
현강 라이브로 방학동안 들었었는데 한주차내에서 강민철이 얘기하려는 지점들이 있어서...
-
현재 고2이고 올오카 오리진이 거의 끝나갑니다. 올오카 독서 문학 2학년에 다...
-
수시원서접수는 모바일로 안된다는 말이 있던데 정시도 안되는건가요??
-
고3 현역인데 작년에 내신 준비하면서 뉴런 수1 수2 다 들었어서 올해는 문풀...
-
처음 n개의 자연수들을 더한 수들의 수열은 1, 3, 6, 10, 15...와 같이...
-
2209 반자유의지 논증 지문을 함께 복습하도록 하자 가령, 에렌이 지크를 만나니...
-
20 27 28 몰라서 대충 찍었는데
-
선택 미적분입니다 3등급정도 수준인거같고 미적분이 개념땐지 얼마 안되서 정말...
-
이러니까 실력이 늘 수 밖에 없지 ㅋㅋㅋㅋ 바~로 구매
아직도 살아있네
왜요
엄준식