최신정리 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 답글 달기 신고
-
나가서 사먹고 오라는건가 나가면 걍 째끼디싶디지는디
-
언제옴
-
사탐은 특히 그럼 과탐은 꿀빨러 도망간 애들이 3-4등급 받고 터져주는 경우가...
-
부적들고가기 0
-
계획 1
수학 ★중복조합 풀기(대표문제만 풀기) 원순열 복습 중복순열 복습 같은 것이 있는...
-
재수생들은 현역이랑 다른전형 생겨야 한다고 생각함 내가 현역이여서 그런건지...
-
물론 소리 크게 내서 하는 그런거 말고 그냥 있잖아요 속으로 중얼중얼 어 이게 왜...
-
눈오네 2
염병
-
D-240 2
수학 같은 것이 있는 순열 유형2(17문제) 국어 내신 분석 사회문화 2단원...
-
러시아인줄
-
양자 컴퓨터의 큐비트, 회전연산과 CNOT 연산 - 수특 독서 실전편 제2회 14~17번 0
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 오늘은...
-
ㅈㄱㄴ
-
일클 들으면서 풀 기출 고민인데 검더텅vs마닳 뭐가 더 좋을까요 문학은 이미...
-
작년 신설된! 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
다시 자야하는데 잠이 안 오네.. 그냥 버티고 일찍 자야지