최신정리 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 답글 달기 신고
-
8학자
-
둘 중 뭐가 맞아요?
-
특히 모델링 렌더링 지문 하,,
-
노베학자
-
기출문제집 없나요..? 평가원 제외
-
지방 사탐과외 1
보통 지방에서 사탐 과외하면 시급 어느정도 받나요?
-
대학 라인 질문 0
경영 경제 희망 백분위 기준 국어(화작) : 89~90 수학 (미적): 96...
-
설명해줄 기상학과 있나요 3월인데 눈이 내려와 나갈 때마다 오르골 속인거 같아
-
15 : 케이스 나누고 계산 22 : 잘 세기 미 : 유리화 파티 기 : 비율관계...
-
시즌 1 진짜 맛있네요… 침 질질 2등급 이상이신분들은 굳이 안해도 될거같긴한데...
-
참고로 스블은 야뎁 방지를 이유로 실전개념이 책에 서술 안 돼있음 즉 교과개념...
-
영어 포기할까 0
ㅈ같다 진짜 이새끼 어캐 2등급 받냐
-
있었으면 좋았을텐데..
-
판의 개수??? 4
사진에 있는 판의 개수는 4개인가요..? 아니면 남아메리카판에 해양판1+대륙판1로...
-
불완전성 정리 제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에...
-
기하 감 좋은 날에는 수2 14 22번 빼고 40분대도 됨 근데 14번에 한 20분...
-
반수 고민... 7
과학고 조기졸업해서 카이스트 재학 중인데 카이스트가 저랑 잘 안 맞는 것 같아서...
-
덮 당일 날에 라이브 가채점 한다는디 몇시에함?
-
유형서 한번 돌리고싶은데 둘중 뭐가 나을까요? 이유도 댓글에 좀 알려주세요
-
틀리지는 않겠지?
-
집을 가고 싶다 0
병리검사 결과 왤케 안 나와
-
오늘은 또 4
기분이 좋음 아마 푹 자서 컨디션이 좋아서 그런 듯
-
개인적으로 인문철학 : 에이어 사회경제 : 브레턴우즈 과학기술 : 과충전 (2022 예시문항)
-
여러번 회독할만한가요???
-
홍준용 한종철 0
T&s랑 자분기 같은 포지션인거 같은데 고민되어서요 한종철 t 철두철미로 개념은 다...
-
호호호 0
하하하 왜 아직 3월인건데에에~~~~ -이상 1월부터 시작한 미쳐가는 재수생-
-
..전화할 수 있을까 지푸라기라도 잡고 싶은데 말야
-
이거 그렇게 별론가 아쉽네 걍 너무 많이보여서 그런가
-
단어 외우면서 듣기 챙기면서 해석 연습하면서 독해하면서 문풀까지 챙기라고? 에라이 시발
-
영어기출 질문 9
혹시 고3영어기출 안 풀고 고1,고2 기출만 풀어도 수능에서 2,3등급 받을 수 있나요?
-
더프공통 어렵네 2
22틀렸음
-
https://naver.me/xs3su5km 나랑 전혀 관련 없는데 여기보다 싼...
-
특히 수학 매년 그래왔음 올해건 안봤는데 아마 올해도 그럴거임
-
더프국어 1
더프 보신 분들 국어 어땠나용?
-
연계 대목 나오면 오히려 대충 읽게 되던데 그리고무엇보다쥰내수특을읽기가싫음
-
08인데 미치겠네 다들 어리다고 독학재수하지말길
-
점수:100(75min, 현장응시 고려시 85min 예상) 난이도- 공통(체감) :...
-
인간이 할 수 있는 실수란 실수는 다함ㅋㅋㅋ 시발…. 60점대 나온거 처음이라...
-
공부도 하고 기부도 하고 김승리 tim 허슬
-
제본 On
-
관련있는건 아닌데 개싸고 퀄 괜찮길래 흑백 50p 무선제본 기준 2,000원임 ㅇㅇ
-
스캔본임? 5-10 없다는건 머에요
-
슨두부찌개 시킴
-
영어이든 다른 공부이든 모든 공부에는 반드시 거쳐야 하는 과정이 있는데 그 과정을...
-
[속보] 교육부, 전국 의대에 공문…"대규모 집단 휴학 승인 불가" 0
교육부는 18일 전국 의과대학이 있는 40개 의대(의학전문대학원 포함)에 의대생의...
-
라끄리가 단물 실컷 빨았으니까 유기할 준비 하는 거지 ㅇㅇ 오르비북스 서버 다운된...
-
다른 실전개념강의 안들어도 될만큼 내용 충분하나요?? 사정상 실전개념강의까지 들을...
-
설명란엔 오늘 발송이라 하던데 아직 송장이 안 뜨네요 혹시 발송되신 분들 계신가요
-
안녕하세요. 수능 역사 컨텐츠를 제작하는 지환지환쌤입니다. 오늘은 2026학년도...