괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이리할 사람 5
이터널 리턴
-
어떻게든 꾸역꾸역하지만 반대로 열정은 잃어가는 듯 하다 ㅈㄴ 열심히 해서 평균에...
-
삼성이 진짜 짜치는게 13
그냥 가격을 내리지 버즈 50% 할인쿠폰! 갤럭시발 워치 5만원 할인쿠폰! 이상한...
-
하........의대 가즈아ㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏ
-
4수시!발 3
으악
-
맛있는건~ 1
정말참을수없어어~~
-
중경고시가 눈앞에
-
언미영물화 백분위 92 98 1 83 90 인데 os반 무리일까요??ㅠㅠ
-
초콜릿받음 ㅇㅈ 20
4V5K3G6JWG 7F6DTWNFNN NYHXNZKPZ6 3GXAVZPZAF
-
ㄴㅇㅅ
-
뭐 2등급 따리가 할 말은 아니긴하지만... 220921-> 이거...
-
우짜지
-
기괴한 거 6
저도 못 품
-
저 수학연구소 ㅜㅜㅋㅋㅋㅋㅋㅋ 인하대 두번 클릭하니까 사짐
-
-
얼마나 손아귀 힘이 좋은걸까 뼈치킨 극혐하는데 하필 제일 좋아하는 브랜드가 bbq랑...
-
근래두명탈릅했네 1
ㅠㅠㅠㅠ
-
내일부터갓생살거임
-
근데 댓글을 온 곳을 다 돌아댕기며 쓰고 잇엇음
-
ㅈ댓다
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌