괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
패턴꼬인게 문제가 아니라 새르비가 문제임
-
여르비들왜케많아 3
다 쪽지 보내기
-
사유: 내가 달아야 한다는 것을 알게되었다..!
-
네...
-
심심한일 땐 거의 날마다 열렷던거 가튼데
-
너는 잊는 것아 병이 아닌 것이 아니라고 생각하느냐?
-
나 친구어케만들지 오티도못가 새터도못가 설마 또 찐따생활이야? 학교갔는데 나빼고 다 친해져있고
-
죠죠 재밌네 7
인생 절반 손해봄 이러다가 거의 모든 인생을 손해볼듯
-
맞팔 해주세여 4
저도 옯창 되보고싶어여
-
싱글벙글 들어온 너님 30까지 모솔 아다 ㅅㄱ
-
약대붙었는데 7
연공 버리고 가는게 맞겠죠? 당장은 약대지만 미래가 어떨지 모르겠네요
-
시험 2주전부터 딱 적당한 시간 취침 적당한 시간 기상을 진행햇음 아마 10시...
-
좋은꿈꿔
-
학력위조해서 학벌열등감 극복하고싶어요!
-
ㅇㅈ 3
울집강아지
-
나 혼내줘 7
국영수탐 밸런스있게 안하고 수학만 해..
-
밤 되니 우울 9
ㄹㅇ
-
선배가 없어서 그런가
-
닉변한 걔 맞음ㅇㅇ 라면 좀 익으면 처먹는대 ㅇㅇ
-
걍 특이점 와서 3
기본소득 받으며 소드아트온라인에서 살고싶다
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌