괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
24수능 : 목동 본관 25수능 : 목동 W관 첨에 목시다닐 때 오르비에 딱히...
-
난 코인 탄다 1
새로고침만 무한으로 누른다
-
정법해 ㄹㅇ 재미도 있고 감탄도 나옴
-
-
흑흑 5
단톡방에서 약간 실수함 이해를 잘못해서 딴소리해버렷어요
-
어디로 가야할까요?? 아빠가 성대를 갔으면 하는것 같아요
-
프리랜서로 돈 좀 벌어보려다가 아무래도 망해가는 중인 거 같음... 뭐 대책이 아예...
-
진짜 명곡 추천 4
릴러말즈-gone
-
지금이시즌엔 아무리 빨리돌아도 17명뽑으면 68명이 최대아닌가 그러면 나머지 몇백번은 다 전추에요?
-
질문글 답변 달아주신 모든 분께 감사드립니다ㅠㅠ 드디어 성불할 때가 왔군요..
-
1. 정시세요 수시세요? 2. 선택과목 뭐했어요? 3.반수할거예요? 4.다른대학...
-
고경가면 행복한 대학생활 할 수 있잖아
-
이쁜 캠퍼스
-
지금 너무 안빠진다고 낙담할 필요는 없어요 전화추합은 결원이 생기면 바로바로 전화를...
-
공부 다 하고 매일 30분 런닝에 4-50분 웨이트
-
후자 간다면 cpa 준비할 생각이에요
-
와 이게 LCK 수준?
-
엄
-
과탐할까사탐할까 3
수탐만 올리면 되는데 지구사문할지 생지할지 고민됨 약대가고시퍼 작수엔 생지했고 생명박긴했어
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌