괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
과탐러들 필독 10
그럼 죽어
-
저새끼는 대체 왜저러지 싶은 것도 그 사람이 살아온 인생을 파악하는게 아니면 결국...
-
진지하게 여장할까?
-
인스타로 대피한다.
-
300개도 못 지웠네 남은 게시글 360개... 아 씨발진짜
-
씨발새끼
-
5일연속
-
소주 설문조사 7
난 처음처럼
-
이런게 수능중독인가
-
어느정도 정리됐네 이제 자고 일어나서 나머지 지우고 공부해야겠다
-
금요일에 콘서트 다녀왔는데 너무 도파민 터졌어서 그런가 역으로 우울해졌어요
-
퀄도랏네
-
댓글에 자는 이모티콘 달아주세요
-
아님 랄로..
-
ai 인증 결과 13
이건 무슨 상이지..?
-
투자의 신이 되고 싶구나
-
작년 6모 플라스틱 지문 이 구절하나가 진짜 이해가 안됩니다 4
양쪽이 아니라 한쪽에서 나오는건 알겠는데 갑자기 두 사슬이 지문에 왜 나오는건가요..
-
내신 3.8 떴는데 이 정도면 어디감? 좆반고인데 정시가 더 나았음
-
왜 우리한테는 안보여줌 우우
-
안녕하세요 :) 디올러 S (디올 Science, 디올 소통 계정) 입니다....
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌