최신정리 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
지금 독해하는법을 다 배웠고 써 먹을 수 있을 거 같은데 영어기출 고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. 학문이란...
-
그래도밖에서만났으면그리싫지않았를텐데존나쩝쩝대씨발
-
에반데 4
-
헉헉
-
서울대가미래다 6
-
미적이 28 30 딱봐도 어려워보이고 나머진 할만해보임
-
더프 1컷 5
은 모르겠고 저녁 뭐먹지
-
택배 온다 1
ㄱㅇㄷ
-
공통 5번부터 10번까지가 없는데 누가 올려보ㅓ요 ㄱㄱ
-
들박 10
해보거나 당해본 사람 있나요
-
더프 수학 후기 0
는 언제 뜨냐 점메추좀
-
한 2주 정도 하루종일 수학만 하는거 어떻게 생각하심 3
영어 국어는 주간지 정도만 풀고 감만 유지 솔직히 수학은 정말 고정 1 만들고...
-
죽을까 3
그냥 죽어도 될듯
-
어려웠나?
-
나라사랑카드 광고 보는데 진짜 ㅈㄴ 오글거리네
-
얘네는 지표 올리기에 진심이네 서담 펌
-
더프밥 이름하여 덮밥 먹고싶다 이상한거 생각하지 마세요 큰일납니다~
-
덮 국어 0
끝나고 쉬는시간에 문학 다시눈풀했는데 틀린거 세개 눈에 보여서 욕나왓음
-
집까지 버스로 1시간 40분인데 걍 오늘 하루 날리겠네
-
배송이 아직도 안와
-
넘 급하게 먹음..
-
이분 옵스타 아시는 분 있나요?
-
고대가능인가요? 1
의대증원도 취소되고 07 사람수도 많아서 입결 가늠이 안되네요 백분위 기준 화작...
-
아싸특 2
점심 혼자먹음
-
수학만 찍먹
-
84봄 28 그래프는 바로 나오는데 식 세우기 어려웠음.. 30은 20분 박고...
-
재원생들 수업자료입니다 관심있으시면 보십시오 시험 총평 및 분석 미적 기준 1컷...
-
안녕하세요. 한방국어 조은우입니다. 글이 안 읽히는 이유는 크게 6가지 입니다....
-
2등급예상?
-
8/3 1/2 7/6 더하는데 계산 잘못해서 틀림 시바알 ㅠㅠㅠㅠ
-
살면서 이렇게 드랍마려운 시험 처음인듯
-
기만 하겠습니다 4
님들 더프풀때 저는 대학생활 즐겼습니다~~
-
도와줘 3
1.언매vs화작 2.물화생지 3.미적vs확통vs기하 대충 인서울 끝자락 공대나...