괴델의 불완전성 정리 반박+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를 선물하세요.
-
돈 더 안내나요??
-
이거 보니까 주제별 , 연도별 나눠져 있던데 복습하라고 연도별도 있는거 같은데 그냥 책에다 ㄱㄱ?
-
-
현장에서 5분컷 했음 실력이 늘긴한듯 14는 뭔가 t범위 보자마자 직관으로 이건가...
-
거슬리네 ㅠ
-
어느정도 수준부터 독재로 해도 괜찮나요?
-
레벨이 딸리네..
-
잘자요 12
오늘 진짜 일찍자네 1분뒤에 보자는 나쁜말은 ㄴㄴㄴ
-
서울대 편입 모집요강인데 왜 의학과는 군위탁편입만 하지
-
좀자라
-
기하 현강 0
정병훈쌤 정규반있음
-
-
씹덕력이 점점낮아짐 12
어렸을때 퍼리에 흥미잃고 탈퍼리할때 약간 이런 느낌이었는데...
-
-
ㅠㅠㅠ
-
메디컬분들 제 통증에 대해서 진료해주세요(저 아파요 ㅠ) 6
저 진지합니다(여기서 진료받을래요) -중증환자입니다….. 요즘 1월부터 지금까지...
-
미적분에 당한 사람들 간증이 줄줄이 나오는 지금 메타 신기하네ㅋㅋ
-
김승리/강기원/현정훈/강준호
-
제2외 칼럼 7
한참 쓸 때 보시던 분들 다 사라진 거 같은데 이제 다시 이어서 쓰면 아무도 안 보겠지...쩝
-
풀이 개간단함 기하 바이럴 영차 영차
-
논리실증주의자는 예측이 맞을 경우에, 포퍼는 예측이 틀리지 않는 한, 3
논리싫증주의자는 관심이 없다
-
계산량 한 번 뇌절와서 계산 틀리면 진짜 잣댐
-
연계 뭐나올지 판단해서 뽑는것두 중요해용 모고 학평으로 본인에게 맞는 밸런스를 찾으시길
-
이거 제가 타이핑친거임
-
얘로 충분하다못해 넘침 뭘 이런거까지 계산하라하냐 킹차갓선이랑 뭘 이렇게까지...
-
사탐하시는분들? 4
사탐 내용이 배경지식으로 국어 인문지문 읽는데 어느 정도 도움됨??
-
근데 성형해도 크게 달라지지 않을 얼굴이라 너무 절망적이야 그래도 하는게 좋을까
-
나는 나약하다 3
그러므로 금연 따위 하지 않겠다
-
예열지문 0
가져갔는데 걍 멍때리고있었음
-
수학 인강 병행 0
지금 시발점 듣고 뉴런 하고 있는데 대성에 김범준이 좋다해가지고 김범준씨도 하려는데...
-
”가슴이 시키니까“
-
원솔멀텍 한완기 4점기출 노베임
-
반수하면 휴대폰 12
어케함 1.1시간 2.3시간 3.5시간 4.버린다 5.스마트폴더
-
걍 노베로 공부했는데 2 정도 뜨길래 오 개꿀 했는데 작수 4뜨고 개털림
-
집에서 곱도리탕 시켜먹을까 고민하는 나는 뭘까
-
우유먹는중 4
우유좋아
-
학교 적응도 되어가니 슬슬 다시 줄여야지
-
현역 3모 예열지문 10
현역 3모 날도 수능 날처럼 해보고싶어서그런데 예열지문은 어떤 거 들고가면...
-
2025년 업적 0
1.인스타 삭제 2.연초 끊음 80일
-
절제만 잘한다면 ㅇㅇ
-
아이 했슴다 2
https://orbi.kr/00072562421/ 육진 방언의 특징으로 '아니'를...
-
28 30 찍맞+너무심한 난이도차로 인한 공통시간분배 차이가 합쳐진 우연의 산물임...
-
그러다 보면 5번 피고 들어갈 거 스무번 피게 되는 것처럼 오버해서 피게 되고...
-
어어 실수들아 오지마라
-
이렇게 바이럴해도 사람 안옴 오히려 더 줄어듦
-
술은 모임 때 마실 수 있지만 평소에 술 담배 하지마세요 늙습니다
-
왜 울고있냐 2
궁상맞게 뭐가 힘들다고
-
1컷 목표라 치고 문풀 순서 추천해주세요 ..
-
내신 B받아서 좌절됨 이차곡선때 55점받고 벡터공도때 75점 받음
-
3모를 잘쳐서 0
날 무시한 헤이러들에게 복수할거야
첫번째 댓글의 주인공이 되어보세요.