최신정리 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
병리검사 결과 왤케 안 나와
-
오늘은 또 4
기분이 좋음 아마 푹 자서 컨디션이 좋아서 그런 듯
-
개인적으로 인문철학 : 에이어 사회경제 : 브레턴우즈 과학기술 : 과충전 (2022 예시문항)
-
GIST는 왜 GJIST가 아닐까
-
여러번 회독할만한가요???
-
홍준용 한종철 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점대 나온거 처음이라...
-
c는 구햇음 이제 g가 감이 안옴
-
공부도 하고 기부도 하고 김승리 tim 허슬
-
제본 On
-
관련있는건 아닌데 개싸고 퀄 괜찮길래 흑백 50p 무선제본 기준 2,000원임 ㅇㅇ
-
스캔본임? 5-10 없다는건 머에요
-
슨두부찌개 시킴
-
영어이든 다른 공부이든 모든 공부에는 반드시 거쳐야 하는 과정이 있는데 그 과정을...
-
[속보] 교육부, 전국 의대에 공문…"대규모 집단 휴학 승인 불가" 0
교육부는 18일 전국 의과대학이 있는 40개 의대(의학전문대학원 포함)에 의대생의...
-
라끄리가 단물 실컷 빨았으니까 유기할 준비 하는 거지 ㅇㅇ 오르비북스 서버 다운된...
-
다른 실전개념강의 안들어도 될만큼 내용 충분하나요?? 사정상 실전개념강의까지 들을...
-
설명란엔 오늘 발송이라 하던데 아직 송장이 안 뜨네요 혹시 발송되신 분들 계신가요
-
안녕하세요. 수능 역사 컨텐츠를 제작하는 지환지환쌤입니다. 오늘은 2026학년도...
-
이게 진짜 인성검사에 있구나 ㅋㅋㅋㅋ
-
여기다가 몇번 올렸는지 모르겟는데 지짜 얘는 ㅈㄴ 기여워서 뽀뽀마렵다
-
영어노베 질문! 0
지금 독해하는법을 다 배웠고 써 먹을 수 있을 거 같은데 영어기출 고1 3개년치만...
-
취미로 0
더프쳤다간 또 입시판 발담글까봐 참는다..
-
이러면 어그로 끌리나여???
-
주간키스 풀어보려고 하는데 ㅇㅁㅇ 풀어보신분들 괜찮았나용
-
기하기준 22번 제외 60분컷 22번 못건들겠음 그래서 96 패턴
-
왜 저 엑스친 거 처럼 구하면 안 되나요..?흑흑
-
평가원 #~#
-
늙었나부다 에휴이
-
그낭 궁금하네요 미국도 우리나라처럼 학교나 특정과를 위해서 재수하는 학생들이 많을까요???
-
수학 재밌는 거 1
미분 가능하고 증가하는 함수 f(x)와 그 역함수 g(x)에 대하여, 일 때, g(5)는?
-
반수하셨던 분들 학교다니면서 1학기에도 틈틈히 수능 공부 하심? 1학기에는 보통...
-
수능에서 15 21 22 안풀고 나머지 번호 집중적으로 공부해서 2등급 안정적으로...
-
시발교수도빡침 0
첫과제내주는데 수업때 내는게 아니라 실험실로 와서 제출하라길래 정확한 기한...
-
어이없네
-
학교에서 수특 독서 풀다가 진짜 지문이 너무더러운거같아서… 평가원 기출은 깨끗하고...
-
과학 연구를 하는 연구자는 어떠한 태도를 가져야 하는가 1
목차 1, 우리는 언제 창의성을 연습해야 하는가 2. 박사란 무엇인가 3. 학문이란...
-
그래도밖에서만났으면그리싫지않았를텐데존나쩝쩝대씨발