괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이제 막 지2 입문한 예비 물2지2러입니다.지2 고수분들이라면 다 아실수도 있을거라...
-
맛?저 2
배가 안고픔
-
대성 계정공유 2
친구랑 메가 대성 서로 계정공유하다가 책이 안와서 전화했다가 계정공유하는거 들켰는데...
-
학원쨈 4
일탈함ㅋ
-
-
이재명 더불어민주당 대표는 15일 "안 그래도 극심해지는 양극화를 심화시키고, 소수...
-
부산대 약대 vs 고대 차세대 통신 어디 가시나요ㅠㅠ
-
그래도 운동이랑 공부 열심히 하니까 열등감 많이 사라진듯 10
그래도 곽평중에서 상위권은 되지아늘까 라고 자기합리화중
-
작수 전과목 3~4등급대입니다 화작 미적 생윤 사문이구요 모두 개념부터 다...
-
수능수학 3등급이었다가 재수해서 적백찍은애도봄 ㅋㅋㅋㅋ
-
120s 기준으로요
-
-
정승제쌤 책을 학교에 가져가려니 사회적시선이 두려워요 4
제가 현역이라 학교에서 입문n제 가볍게 풀고싶은데 팔구시퍼요생각중이긴한데 다른...
-
화교전형때문에 16
한국인 의대지망생들한테 직접적인 타격 잇나요. 아예 따로인가
-
나도 뱃지 1
한의대 약대 둘다 받았다++현역때 까먹었던 경희대까지 ㅎㅎ확실히 색은 약대가 이쁘네요
-
진짜?
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌