괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
질받(선넘 허용) 13
착한 오르비언들이 하꼬인 나를 불쌍히 여겨 질문해줄거라는 확신이 있음
-
이게 왜 어렵다는 의견이 있음? 나이때 한번도 안막히고 미적30번까지 깔끔하게 달렸던거 같은데
-
히히 드개재~~~ 수정) 시발 저거 알몸 아녜요 손가락이 카메라 막아서 그런겁니다
-
원래는 마더텅고1 문학/독서 1일치씩 풀고 언매총론한강씩들었음(형태소가뭔지도모르고...
-
내가 이김뇨 ㅋ 2
미지
-
보통 전화로 더 먾이 충원되나? 대형과 기준?
-
잡니다 5
-
나도 덕코 줘 9
덕코흡수법!
-
내가 뮤지컬 다 보고 광분하는 것도 들어줘야됨 표값 개비싸서 한 번 보면 거지...
-
지금이냐??
-
이 세상은 내가 노력이상의 무언가를 가져가게 안두는듯 7
그게 아니라면 주요과목에서 찍맞이 하나없는게 말이 안됨
-
귀엽긴하네
-
원과목이에요
-
지금 미미미누 n수의 신 나가려면 어떻게 해야하는걸까 8
수능만점 아니면 걍 못갈거같은데
-
카투사는 16
어떻게 가는건가요 머해야함..
-
아무도 못 보게 할 수 잇겟네
-
있을 자리가 없다 올해까지는 짜져있어야지ㅠ
-
옆에 여자에 손가락 강제로접기
-
누가 캡쳐하면 어캄
-
제가 육회비빔밥을 아주 좋아하거든요 중앙대 다닐땐 맨날 육회비빔밥먹었는데...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌