최신정리 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 답글 달기 신고
-
어카지;;; 하
-
물화생수 과제 전부 챙기면서 공부한다는게 힘듬 밸런스 맞출 타이밍이 온 듯 다행히...
-
더러운 글 하나 보고 다시 자러감..
-
아니 이게 진행이 되나
-
피램 문학 어떤가요? 노베가 성적올릴 수 있을까요?
-
팩트는 보고서 하나 더 남았다는 거임.....................
-
자러감 4
ㅂㅇㅂ
-
장재원T 시즌2 0
장재원T시즌2 미적반 난이도어떤가요? 아이디어랑 한완기하고있어요
-
명실상부 Goat
-
민초 시원해 0
부먹안물어봐오이청량해솔의눈예아닥페최고야건포도꼭쥐스홍어예아
-
아니 어캐 하나도 안잡히냐 미적 기하 수2 이캐놧는데..
-
그냥 양치하면서 초콜릿을 먹으셈.. 그럼 충치도 예방되니깐 무저건 상위호환이잖아..
-
23수능 어렵게 내줬더니 다 탈주하고 25수능 개쉽게 내줬더니 다 탈주함
-
대충 얼마 들어오나요?
-
2년 공부해서 수능으로 약대가기,감정평가사 합격하기 뭐가 더 힘드나요? 현역으로는...
-
조만간 지인선 쳐내면 공통 뭐풀지 고민임 24 25 드릴 설맞이 지인선 제외 지금...
-
여르비 우대
-
윤리와사상 0
현자의돌 수능실전개념완성을 끝냈는데 뭔가 기출은 혼자하면 버거울꺼같은데요 김종익T...
-
교재도 너무 저렴하고 수업도 꽉꽉 채워서 아니 오히려 초과해서 해주심...
-
나가면안될걸 알면서도 나가고싶음
-
의대생 친구들아 4
너네한테는 좀 미안해 솔직히 엄한 사람 처맞는거 싫어서 진짜진짜 착하게 말하고 또...
-
육포쳐먹난중 8
개맛있네
-
-
더 친해지자
-
-
밥먹으면서 할거없어서 풀어봄 개념만 2틀
-
여친 사귀는법 6
1.잘 씻고 다니기 적어도 하루에 1번은 샤워해야 합니다 그리고 본인이 수염이 빨리...
-
질문받아볼래요 32
없으면 움
-
나가지말까 탄핵 선고하면 개판날거같은데
-
어차피 지울생각 없어
-
예열지문 ㅋㅋㅋㅋ 10
아뇨냉천곰 ㅋㅋ
-
ご質問どうぞ 7
何でもいいです
-
그안에따뜻한진심이있음
-
적당히 매움 아예 존나 맵게 22 가져가는 것도 방법이고 내 취향도 이쪽이긴 한데...
-
근데 인터넷 세상은 인터넷에 남겨두는 게 맞는 거 같아.
-
ㅈㄱㄴ 좀 어렵게 공부하면 수능때 도움될거같아서 (물론지금은그거할때가아니긴함
-
좆됐넹... 뭐하지 집에 책이없는데
-
그냥개맛있음올해수능도들고갈거임캬캬캭
-
해설 37
검토하고 수정하는 과정에서 ~이므로, ~이다 같은 말 많이 들어가 있으면 오히려...
-
눈 뭐지 2
3월에 눈이 이렇게나 많이오다니
-
국어 치기 전에 예열로 소설책보기 항상 예열로 강기본 지문 보다가 어느 날에는...
-
수학=양치기과목 2
재능없는 나같은 부류는 걍 컨텐츠 쌓아놓고 존나게 푸는 게 맞는 거 같음 학교서...
-
俺、薬に対して耐性が生じたかも
-
그 막 표현형 가짓수가 몇개 나오려면 교배결과표 그렸을때 대문자 수차이가 2가 나서...
-
보수 보수 없자나 이 개것들아
-
-
근본의 젓뮤
-
막상 밖에선 개찐따모드 on임 음침한 놈
-
저 내일 더프 보는데 13
망해도괜찮다고댓글좀달아주세요
-
아니 후릴때 느그집 자제 같다는 생각은 안드나? 애새끼 조차 없는거냐
