최신정리 Ver.1.1.1
게시글 주소: https://orbi.kr/00072481830
불완전성 정리
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제1정리 반박
명제논리는 완전함
명제논리(논리게이트,컴퓨터)를 이용해 제1정리에서 말하는 페아노공리계를 포함하는 산술체계를 구현가능
명제논리로 산술체계를 나타낼수 있음
따라서 산술체계는 완전함.
무모순과 참은 동치다.
제1정리의 내용은 "산술 체계가 무모순이면 산술 체계는 불완전하다"고 말한다
이말은 "산술 체계가 참이면 산술 체계는 불완전하다" 가 된다
하지만 위에서 산술체계가 완전함을 밝혔음
그말은 "산술 체계가 참이면 산술 체계는 불완전하다"가 거짓이라는 얘기임
부정이 참이기 때문에
"산술체계가 참이고 and 산술체계는 완전하다"
가 참
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제2정리 반박
무모순은 참과 동치
완전성에 의해 참은 증명가능
따라서 무모순을 증명가능
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
괴델의 문제
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를 선물하세요.
-
좋아요 1 답글 달기 신고
-
눈온다!!! 0
-
진짜 놀고 싶은 거 참고 공부하면서 아침에 일찍 일어난 거 어캐 했노 지금은 아침...
-
[속보] ‘27년부터 의대정원 심의’ 정부직속 의사추계위법 복지위 통과 1
2027년부터 의과대학 정원을 정부 직속 의료인력수급추계위원회(추계위)에서...
-
3문제 중에 두개 틀리고 지랄이야 왜 이러냐..
-
장염인가봄 몇주전에도 그러더니... 근데 어제까지만 해도 멀쩡했는데 왜 오늘 아침에...
-
다시 풀어봐도 4
비타민k 지문은 예술이다 ㄹㅇ
-
졸귀
-
겨울방학 목표는 거창했지만... ㅎ.. 중간에 선생님도 바꾸고 선택과목도 바꿔서...
-
경제황분들 외부 경제/불경제랑 관세 팁 있으신 분들 있나요 ㅜㅡㅜ
-
.
-
2과목은 꺼지셈 적어도 3등급은 받아야됨
-
특이점이 와서 곧 모조리 망하고 새 세상 열림
-
점심메뉴추천좀 18
투표안하면 평생탈모 ㅇㅇ
-
비문학 칼럼 쓰시는 분들 모여주세요! 제가 팔로우와 사랑을 드리겠습니다
-
800개 복습 가보자
-
의판치검변약수회세~ 맞나요 변호사 약사 사이어딘가에 5급공채(행시)고?
-
졸업하고싶다 10
제발
-
우흥우흥 돈도 벌고 과외 준비도 하고 개꿀이노
-
요즘 똥글 쌀 시간이 없네요
-
나올 가능성 잇나요 뭐 이제 안나온다고 들엇던 거 같기도 하고 그래서,,
-
코딩 싫어~~ 4
-
날씨 왜 이래
-
ㅈㄴ 기네
-
얼버기이 14
-
궁금쓰
-
와 집공 8
ㄹㅈㄷ로 집중 안됨 거실 너무 시끄러워
-
(고민) 국어 80분 재고 풀면 3~4등급, 100분 재고 풀면 1~2등급인데 10
이말인즉슨 제시간내로 풀면 꼭 독서 2지문씩 못풉니다.. 80점 나온다 치면...
-
美 원자로 SW 韓 유출시도 작년 적발…민감국가 지정 영향 준듯 1
미국 에너지부 산하 연구소의 도급업체 직원이 수출통제 대상인 원자로 설계...
-
질받
-
약학개론을 듣고 있지만 왜 실감이 안 나지
-
옆에 분 코골면서 개꿀잠 주무신다 뭔가 웃김
-
생명 유전 부분 하나도 안 했고 잘 할 자신도 없어서 생명을 사탐으로 돌릴까...
-
only 서연고중 ㅋㅋㅋ
-
근데 스블미적을 다 들어야 뭘 하든말든하지 강의가 안쳐올라와...
-
더프 못 사겠음 3
사고싶은데 너무 비싸....
-
치즈 와퍼 불고기 와퍼 콰트로 치즈와퍼 이거 3개만 돌아가면서 먹어서 질리는데 다른거 추천 부탁!!
-
윤성훈쌤 5
진짜 잘가르치시고 말씀도 다 공감되긴한데 제발 사담 제거버전 만들어주면...
-
강대 스투k인데 수학 수업 너무어려워요 ㅜㅜ 1년 쉬어서 실전개냠이랑 기출이 기억이...
-
고3 진로 시간인데 애들 죄다 대충써서 내고 그냥 자습하려 함 ㅋㅋ 생기부 좋아도...
-
3더프 스포 당하면 안 되니까.. 배송 오면 다 풀고 오겠습니다 ㅎ.ㅎ 다들 오늘...
-
지역인재로 넣으려면 학점 얼마정도여야 하는지 아시는분? 학종으로 넣을거임
-
작년에 사 놓고 못 푼 것들 팔아요. 워드마스터 ₩5,000현자의 돌 실개완...
-
하
-
합응끝나고 연대 기숙사 방키 하나 고대에서 발견돼서 응원단 인스타에 올라왔던거...
-
2주차 부턴 문학 다 맞으면 독서에서 틀리고 독서 다 맞으면 문학에서 틀리네 ㅋㅋ...
-
폰 안 내기 1
비기임 ㅋ
-
저는 기독교 수업이 시작이네요 국어끝나고의 그 속 꿈틀거림을 알기에 차마 지금 힘들다곤 말못함
-
당장 책상으로 가서 국어 기출 펴라 ㅡㅡ