최신정리 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 답글 달기 신고
-
작년 신설된! 247 아닌 그냥 쌩이투스기숙. 을 다니고 잇습니다 경기도 광주에...
-
하루에 4번 0
오르비 를하고
-
보고 한지문 날려야겠다
-
미치겠다 끼ㅣ이ㅣ이야야야야ㅑㅑㅑㅑㅑㅑ갹ㄱㄱ 모두 결과에 상관없이 최선을 다해서...
-
한귝사 까먹었는데
-
3더프 ㅠㅠ 0
보러간다 하
-
생명 dcaf 문제집이랑 비슷하게 가르치는 강사 아니면 잘맞는 강사 있나요? 만약에...
-
생1 만점 1
현실적으로 시대랑 강대 같은 학원 안 다니고 오직 한종철 풀커리에 디카프 n제...
-
오늘부터 탐구,문학,독서 시작
-
한티역쪽 아니고 대치역쪽임?
-
스펙업좀하고싶어
-
ㅇㅂㄱ 0
ㅎ
-
ㅇㅂㄱ 2
-
힘내라 샤미코
-
뭔가 저런것들이 실제로 이 지구에 있었다는게 신기함.. 먼 외계행성에 외계생명체가...
-
그리운 게임 0
카스온라인2 숨바꼭질이랑 좀비모드 귀신모드 놀자방 위주로 했었는데 솔직히 서든보다...
-
얼버기 0
모닝
-
심찬우 강의 1
고3때부터 지금까지 국정원이랑 정석민쌤 병행하다가 지금 생감생글 들을라고하는데 괜찮은가요?
-
기차 지나간당 4
부지런행
-
잠이안온다 3
오늘도 새벽공부
-
22 23 24 응시했었는데 원점수로 22 - 공부 안하던 시절 (3모 88이었고...
-
늦은 밤에 일어나서 시작하니 이제야 끝났네요 간만의 새르비를 이렇게...
-
[소개 및 성적인증] https://orbi.kr/00071877183 안녕하세요...
-
엄마 백원만 했었는데
-
걍 아예 이창무스타일로 가시나
-
흐흐흐
-
내가 술먹고 잘못보고있나 싶었네;; 이왜진
-
잔잔한 새르비 10
근데 좀 많이 잔잔한
-
지1 지2 화1 하나만 틀려도 2등급되는 과목들 맞죠? 내용 자체는 전혀 어렵지...
-
지구 개념서 1
작년에 산 오지훈쌤 oz개념책 인강 들은거 다 필기하고 공부한거 다 적어놓아서...
-
얼리버드기상.. 3
다시 자야하는데 잠이 안 오네.. 그냥 버티고 일찍 자야지
-
어카지;;; 하
-
물화생수 과제 전부 챙기면서 공부한다는게 힘듬 밸런스 맞출 타이밍이 온 듯 다행히...
-
더러운 글 하나 보고 다시 자러감..
-
아니 이게 진행이 되나
-
피램 문학 어떤가요? 노베가 성적올릴 수 있을까요?
-
팩트는 보고서 하나 더 남았다는 거임.....................
-
자러감 4
ㅂㅇㅂ
-
장재원T 시즌2 0
장재원T시즌2 미적반 난이도어떤가요? 아이디어랑 한완기하고있어요
-
명실상부 Goat
-
민초 시원해 0
부먹안물어봐오이청량해솔의눈예아닥페최고야건포도꼭쥐스홍어예아
-
아니 어캐 하나도 안잡히냐 미적 기하 수2 이캐놧는데..
-
그냥 양치하면서 초콜릿을 먹으셈.. 그럼 충치도 예방되니깐 무저건 상위호환이잖아..
-
23수능 어렵게 내줬더니 다 탈주하고 25수능 개쉽게 내줬더니 다 탈주함