최신 증명 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를 선물하세요.
-
전 대충 An 야매로 주기 잡고 f(n)은 n/18 잡아버리고 근사때리니 18/3...
-
현역 3덮 쳐보려고하는데 3모 전까지 할 게 넘 많기도하지만 한편으로는 모고 감 좀...
-
국어조교 하고시포
-
스키마 체화하고 보니 옛기출에는 출제 오류가 많음 10
어떤 집합을 모든 집합으로 지금으로 따지면 매력적인 오답으로 적어놓고 이게 정답이라...
-
작년에 개념한번했는데 다까먹어서 다시하는중이에요. 중간에 기출을 끼우니깐 너무...
-
사평우 출격해라 0
가라이
-
기하괜찮나요 뭐도형딱히잘하진않음 근데미적도답없긴함 더프 3점에서 개식겁함ㅋㅋ27은틀림걍
-
잠이나 자자 2
못잠 빨래야됨
-
이원준 가이드 0
누가 써주면 좋겟당 ㅎㅎ
-
https://orbi.kr/00072499581 풀 줄 아시는 분 한명쯤은 있을듯...
-
그냥 보정컷을 컷으로 생각하몀대여.? 무보정은 더프 본 사람들끼리 컷이고 보정은...
-
8일도 아니네 0
되는데까지 해 몰라잇
-
원주캠에서 1년반 생활하고 서울캠으로 가는건가요?
-
다들 독재갈 때 챙기는 꿀템 있나요??
-
능이됨
-
술약이나 이런걸로 운동 안가게 되면 너무 노는데 근 회복도 빠른 것 같고 좀 자주...
-
뭔가 체크나 밑줄이나 필기 이런거 하라는 지점이 되게 애매모호하게 들리는 느낌임 자...
-
국어 고전시가 0
현 고2이고 아까 인강 추천 받았긴 했지만.. 정석민 커리 타고 있는데 매E네 고전...
-
올찐따 자러감뇨 4
내일 봐요!
-
쎈 c 반타작 가능하면 몇등급뜸? (5등급 기준으로 말해주시면 감사요)
-
ㅈ댓네
-
100렙이 될까요?
-
저녁노을이 진 옥상에 걸터앉아~
-
학교생활 너무 어려움.. 선배들도 잘해주고 25학번 애들도 잘해주는데 공식적으론...
-
의미 없지만 일단 올리는
-
국어 화학 등등 양치기해야하는 과목들이 많네..
-
물론 피램도 똑같이 기출인데 적어도 하루에 모고 1세트는 아니라서 차라리 적은...
-
흐에에
-
영어주간지 풀려고하는데 어떤거 추천하시나용 ,,, 션티 주간키스 이명학 수능루틴...
-
이거 문제 절반은 못풀어쳐먹겠고 또 그중에 절반은 뭐라는건지도 모르겠는데 이거...
-
핍박 피하기용 미적은 100점은 몰라도 96은 나오지 않을까 싶고, (솔직히...
-
찍맞 포함 81나옴뇨 으히히
-
3모는 고양이박을수있을거 같아요
-
질문 0
해달라고 두번 말 안한다
-
난이도 자체는 매우 쉬운편 13 교육청 모고라 출제방향은 다름
-
게슈탈트 붕괴해버렷
-
질문 받습니다 0
해주세요
-
피자 와구와구 1
콤비네이션 최고
-
ㅈ반고라 한 33정도 띄울 수 잇으면 어느정도 인정이 될거 같은데 3모 탐구 쉽다곤...
-
난이도 어떤편인가요? 화작봤는데 85 떠서 멘탈나감 실수몇개있긴한데 첫번째 독서에서...
-
뉴비치고 많이 반겨주시니 너무 고맙네요
-
계의(게이)라고 함 그러니까 시선 피하더라 츄베릅❤️
-
오르비 현생이슈로 간만에 오는데 시간 왜이리 빠름? 벌써 더프를 쳤다고?
-
흐흐흐
-
국어 독해력 9
독해력 관련해서 질문 들어오는것이 제일 많습니다. (사실 대부분입니다) 많은 분들이...
-
1년은 1
실력을 확실히 올리기에 충분히 길다.사실 딴건 모르겟고 수학은 확실히 그렇단
-
고전소설 다 틀리는 고전 노베 새기분 들어도 될까요 강기분부터 들으려고 했는데 어떤...
-
난시간이없어~ 4
어 존나
-
ㅈㄱㄴ 강기본완강했는데… 걍 강기분할까
-
인서울 장점 11
서울에 있음
아직도 살아있네
왜요
엄준식