괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
킁 1
-
칭찬해줘 중간에 전담 피긴 했는데 연초는 파이널부터 지근까지 쭉 끊음
-
고대 인문 643으로 붙을 수 있는 과 있었나요?? 3
고대 빵 많이 났다던데..
-
작수 기준 언미물1화1 93 98 2 60 90 인데 낮반 걸리겠죠.. 일단 관은 3관입니다
-
잘자 오르비
-
그런사람들이 특정됐으면좋겟음
-
유일하게 스스로 잘했다고 느끼던 그 짜릿함을 못잊어
-
속이 거북함 어지러움 ㅡ
-
20살 먹도록 한번도 안해보다가 대학 가서 친구들이랑 피방 가는 상황 생각하고 겜...
-
뱃지말고뭐뗄까 4
흠
-
1단원 2단원은 완전 실생활이랑 동떨어져있는 생윤같은 내용 그나마 거시경제 국제경제...
-
개못핵이런거임?? 중딩때 쓰던 계정인데 시발 뭔 티어도 ㅂㅅ에 실력도 ㅂㅅ인데 이거 어케 풀어
-
그리고 그 간극을 메워냈을 때의 쾌감은 어마어마함
-
난 후회 ㅈㄴ함 4
이럴거면 시작도 하지말걸
-
잇올에서 커뮤충으로 찍히면 어카지
-
니들은공부하지마
-
ㅇㅈ메타임? 3
어째서..?
-
ㅇㅇ
-
패턴꼬인게 문제가 아니라 새르비가 문제임
-
여르비들왜케많아 3
다 쪽지 보내기
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌