괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
솔직히 써머스비 술아님 10
따라하세요 사.과.주.스
-
그냥 저랑 그정도로 안 친하다고 생각해서인가요? 전해들어버림... 근데 전해들은...
-
아직도 입시안끝난거 실화? XX
-
. 7
-
아나
-
수능의 악마
-
고딩땐 진짜 열정많고 혈기왕성 했는데 지금은 그냥 무기력함 왜지
-
그럼 내가 원하는 키인디..ㅠㅠ
-
옯찐따 8
인듯
-
난 뱃지가업어
-
ㄹㅇㅋㅋ
-
225가 아니라 275라는점
-
자기전까지 화 절대 안날듯
-
뭔가 엄청난 메타가 있었던건가...?
-
음음
-
내가 젤 좋아하는거 두가지
-
벌점 얘기하니 5
이상한코딩 많이하던 하루만에 산화당한 친구가 생각나
-
수면제 먹고 푹 자도 다음날에 너무 정신없고 피곤하지 않나요? 저 수면제 원래 먹던...
-
옯친이 3
한 명 더 생겼다
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌