괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
닉변완 7
사랑해 고려대학교
-
아냐 너도알잖아 그 점공에서 안빠질수가 없다는걸 합격할거야
-
댓글모음 봐보셈 95퍼가 여대vs 타대학임 ㅋㅋ 나같으면 그 시간에 반수함 그게 더 쉬울텐데 ㅋㅋ
-
경영은 음 붙을지안붙을지 확실하진않고 반반? 경제는 붙긴함
-
N수생 대거 성불시키기 프로젝트 하는거임? 그게 아니면 설명이 안됨
-
뻥임뇨
-
미적 풀이 ㅁㅌㅊ 17
님들은 나처럼 고생하기 싫으면 적분 계산 확실히 연습하고 어려운거 하셈 내가 미적...
-
웹 3개임
-
제로부터 시작하는 약대생활
-
빡대가리라 대화하다가 나 스스로 무덤팔 듯
-
메가패스 있는데 배기범 ㄱㅊ?
-
오르비 글 보고 궁금해짐
-
내가 ㅇㅈ하면 4
오르비 초토화될듯 ㅋㅋㅋ
-
도태한남 자살해야겠다
-
첨에 봤을 땐 그저 그랬는데 착한 게 보이면 갑자기 예뻐보이고 눈길 감
-
고려대 사랑해
-
요즘 워낙 흉흉한 사고가 많은데 무인 스터디카페는 괜찮겠죠?
-
어케 여자가 3명밖에 없니 아이고
-
원과목 최상위권들 투과목런 ㅈㄴ쳤음 지금
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌