최신정리 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 답글 달기 신고 -
-
왜냐하면 붙은적이 없으니까
-
ㄷㄷ 2026년 연봉 실수령액표 떴네요.. 국민연금 9.5% 실화인가요? 1 0
ㄷㄷ 2026년 연봉 실수령액표 떴네요.. 국민연금 9.5% 실화인가요?...
-
조발이라는 말 좀 야함 0 1
-
연대님제발조발좀해주세요 0 0
사람이죽어가요 점공도다들제발해주세요 합격시켜주세요
-
냥대 질문받아요 0 0
제곧내
-
보건증 신청해야하는데 0 0
어르신이 너무 많다 내일 오픈런해야지
-
성대 조발 2분전 ㄷㄷ 1 0
-
좋아요100개면엉덩이인증 3 7
가능성0%
-
콜롬비아는 진짜로 ㄱㅊ지않음? 2 0
이거완전 제ㄱ...
-
오르비 이모티콘 정듦 2 1
커여웡
-
확통 76~80 나오는데 뭐부터 해야하지 아직 기출도 다안되긴했음 ㅠ
-
진지하게 3떨 할거같은디 7 1
어카냐 ㅆ발........... 삼수 못하는데 나
-
자전 연vs고 2 1
공대쪽 가고싶었는데 어디가 더 좋은가요 연대썼는데 괜히 후회되네
-
치피치피 노래 들으셈뇨 1 1
세상엔띵곡이참많아
-
강은양 t 기출 질문이요! 1 0
시대인재 북스에 강은양 쌤 기출이 있더라구요 근데 현강으로는 좋은 말이 많지만 기출...
-
"콜롬비아도 병들어 있다" 트럼프, 군사 작전 가능성 거론(상보) 0 0
[이데일리 김윤지 기자] 도널드 트럼프 미국 대통령이 4일(현지시간) 콜롬비아...
-
-
좋아요정 특 6 4
메인글 발사대 넘버원 소재임
-
-
좋아요정 누구냐 6 4
누가 계속 좋아요를 누르는것이야!!
-
중앙대 의대 점공 들어와주세요 3 0
-
아이언! 클래드! iron을 왜 아이언이라고 발음하는지 모르겠음 아이론 아님?
-
일단 카투사 찬스 한번 써봐야함
-
미적사탐 한의대 목표 4 0
반수 미적사탐해도 되겠죠? 확통은 도무지 끌리지가 않아서 언미생윤사문 할거같아요
-
사탐런 확통런은 미리미리 n수준비하라는 교육부의 큰뜻 2 0
ㄹㅇㅋㅋ
-
"아직 40세인데 나가라니"...86년생부터 선택의 기로 4 0
하나은행이 86년생도 해당하는 40세 이상 직원을 대상으로 특별퇴직(희망퇴직)...
-
수능 끝나고 2달동안 다른건 쳐다도 안 봤는데 국어만 계속 보게 됨ㅋㅋㅋ 내...
-
내일이 계절시험?? 3 0
ㅋㅋㅋㅋㅋ
-
[단독] 민중당 "마두로 석방하라"…美 대사관 찾아간다 2 0
극좌 성향의 정당인 민중민주당이 니콜라스 마두로 베네수엘라 대통령의 석방을 요청하기...
-
나는 공부중인것이다 2 0
버튜버를 보며 노는것이 아니다
-
요새 경북대 상위공은 0 0
입결 어느정도임?
-
이 구조가 ㅈㄴ 웃김 ㅋㅋ
-
차단 +1 3 5
안면인식장애있나 뇌절을하는데 재미도없고감동도없고
-
진지하게 알려주세요
-
09년생들은 전생에 나라를 구했나 20 3
현역들이 n수보다 유리한 몇 안되는 해일듯 ㄹㅇ
-
랜덤인가요? 아님 가나다순?
-
둘 다 붙으면 어디감?
-
음 쌰갈 0 1
아무리 생각해봐도 미래가 안보임 눈을 좀 많이 낮춰야겠음
-
제발요
-
中 SNS서 ‘美 마두로 체포, 대만 문제에 적용 가능’ 주장 확산 0 1
공습 관련 게시물 조회수 4.4억 기록 “대만과의 갈등 해소 위한 참고 모델”...
-
크럭스 테이블 만드는 입장에선 13~17과목 만들던게 2과목으로 줄어드니까 일이...
-
서울대학교 문리과대학 출신 어르신들은 산을 안 탔다는거임…
-
이 정도 외모면 홍대 걷다가 캐스팅 될수 있을까요 4 0
저 진짜 이정도 외모예요
-
독서 풀때 감으로만 풀어서 4 0
인강 커리큘럼 하나 잡아서 체화해보려고 하는데 정석민 유대종 이원준 김승리 중에서...
-
연고대 문과이고 점공률 44% 입니다.. 추합 거의 안돌아요! 진학사 5칸이었어서...
-
개귀여워ㅜㅜ 2 1
https://youtube.com/shorts/4M5Q9_8q8Jo?si=sfL-6...
-
그냥 인스타 지워버링 2 1
아무일도 없었는데 그냥 갑자기 마음에 안들어서 지웠음 카톡 안 쓰고 거의 모든걸...
-
이 정도 외모로 잇올 가면 공부 하는 중간에 캐스팅 되나요? 2 0
공부하는 중간에 스카우터들이 교실 안으로 와서 저 데려갈까요?
-
삼양1963우지라면후기 1 1
먹지마셈 감동적인 사연은 모르겠고… 지금껏 먹어왔던 라면들이랑 너무 결이 달라요...
-
진학사 인증 언제해주지 0 0
ㅠㅠ
