괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
캬캬
-
통통한 여자가 이상형 12
남자들 중에 이상형 물어보면 저런 답변하는 남자들 있는데 무슨 뜻일까?
-
덕코주세요 7
응애
-
Pnj? 그렇게 올리는건 어떻게 하나요
-
염색체.
-
sob의 의미 4
sex on the beach에요 맛있더라구요
-
좀 빡셀까요 지금이라도 ㅔ2인실로 바꿔야하나
-
오늘 횡단보도 사거리에서 신호 기다리고 있었는데 사진 속 애기가 맨발로 제 앞을...
-
평백 기준 6모 96.5 9모 97.5 수능 88 삼반수 할 거임? 뭔가 20대...
-
니얼굴 무브링 8
나쁜건아 죄송합키나
-
인생 굿다이노
-
왜 여기서 프셐하는 사람들은 죄다 남자냐?
-
대학생이나 성인이 많아서 그런가 학벌이 높아서 그런가
-
요놈 정말 귀엽네...
-
블랙 러시안 인듯
-
난 그냥 12
마음이 맞았으면 좋겠는데
-
맨날 연애메타네 3
모쏠아다는 할 말이 없다..
-
의미있다고 보시나요?
-
일단 ‘대구’에 살고 있는 학생입니다. 연세대 전전을 갈 수 있는 성적이 나왔다면...
-
잠이나자야지 4
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌