최신 증명 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를 선물하세요.
-
20 27 28 몰라서 대충 찍었는데
-
선택 미적분입니다 3등급정도 수준인거같고 미적분이 개념땐지 얼마 안되서 정말...
-
이러니까 실력이 늘 수 밖에 없지 ㅋㅋㅋㅋ 바~로 구매
-
수능 많이 남은 듯,열심히 스텝업 고고
-
뜨나요
-
군대 선임이 코스피 상장사 오너 아들인 형님 생각나네요. 0
군대를 비교적 늦게 오셨는데, 그래도 깔끔하게 군 복무했던 형님이라 더 기억에...
-
잘자요 4
-
비밀
-
그냥 막연하게 아직 3모도 안 쳤는데 시간 많이 남았지 생각했는데, 오늘 되면서...
-
내신 등급컷이요
-
난 처음에 당연히 예술.-종교-철학이 이념의 시.공간적 현실 / 직관-표상-사유 가...
-
유베?
-
오늘의 인증 6
그런거 있다 보고가라
-
아가 자야지 2
낄낄 1교시
-
세계사 진짜 너무재밌다 진작할걸 왜 고민하느라 3달을 날렸을까
-
맨날싸워 여긴 2
그래서 좋아 재밋다
-
작수 생명5였고 오늘 3덮 32점 떳는데… ㅈㅈ하게 사탐런할까요 당연히 이 등급이면...
-
ㅈㄱㄴ
-
와 4시간 자고 1
밥먹는 시간 다 합쳐서 1시간빼고 공부에 다 박으니까 진짜 저녁부터 머리가...
-
고1 모의고사는 3등급 정도 나오고 국어 공부를 한 번도 해본 적 없는 고2 노베...
-
국어독해력 검사라고 누가 소개해줬는데 블로그보니 온통 효과좋다는 후기가 많은데,...
-
답변을 진짜 ㅈㄴ대충하네ㅋㅋㅋㅋ 나도 큐엔에이 게시판에서 대학 붙은해에 답변 조교로...
-
근데 5월달까지 휴재는 ㅠㅠ 그동안 뭘로 버티며 살라는거임..
-
맞팔 하실분 계신가요? 10
-
잘까말까 5
평소의 수면 패턴 유지를 위해 자지 않겟습니다
-
휴대폰으로 영상 찍다가 들켜서 수학 시간에 나갔다고 함… (국어 시간에 안 걸림)...
-
애들 담임이 나 고2때 정시공부로 다이다이깐 선생임 ㄷㄷ 사립여고라 그런지 아직도...
-
어이없게 안내문 내용일치 틀린거포함 90인데 발전한걸까요?
-
노래가 다 맛있네 그냥
-
언매 강의 추천 1
언매 강의를 들으려 하는데 베이스 있는 사람을 위한 강의가 뭐가 있을까요? 사실...
-
읽씹 vs 안읽씹 10
1. 본인은 뭘 더 많이 하는가? 2. 당했을 때 뭐가 저 ㅈ같은가?
-
볼텍스 좋아요? 9
ㅈㄱㄴ
-
스카이 우대 해주는거임? 아니면 그냥 똑똑해서?
-
잇올 더프보고 성적표나올때 센터 내에서 몇등했는지도 나오나요? 이번 3덮 국어...
-
이게 진정한 갓생 아닐까
-
이거 읽고 요약해드릴게요 요즘은 한국사를 취미로 시간날때마다 읽어보고 싶어서요 흐흐...
-
문학 코드까지 다 있는거 보면 혜잔데 ㄹㅇ? 36강이면 뉴런만 보다가 봐서 이런건가
-
근데 메인글 저거 23
걍 완전 딴소리 한 것처럼 썼길래 본문내용이랑 관련없이 갑자기 이상한 말 한건줄...
-
메타가 끝낫군
-
생2 15분컷 3
42점 입갤 2, 8, 18 18은 작년 문제 재탕인데 또 틀리네 아으 시치야 개념...
-
언매 공부량 4
수학점수도 점점오르고 있고 생명도 버리고 사문으로 이동하기도 했고 해서 언매를...
-
더프 봐봤는데 0
아직 많이 부족하다는걸 깨달앗습니다….
-
계속 귀에 맴도는
-
나에게는 조금 버거웠다…!
-
션티 0
너!!!!!!!!!!!!무좋아 조교분들도다너뮤죠앙
-
열품타 서버오류 0
몇시간전부터 열품타 계속 서버오류 뜨는데 나만 그럼? 공시 멈춰야하는데 이러다 공시...
-
오르비 굿밤 6
저는 12시 30분 취침 예정
-
제가 김동욱 일클래스 커리를 타고 있는데, 솔직히 뭐가 좋아진건지 모르겠어서 아마...
-
학교 한번씩 갔다가 독재에 앉아있으면 현타 오지게 오네요ㅠㅠ
아직도 살아있네
왜요
엄준식