괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
쪽지 한번만 남겨주세요ㅠㅠ
-
정치와법 상당히 어렵게 나오네요. 형법 이론은 이해가 중요합니다. 단순 암기 안돼요 2
생각했던것보다는 어려워요 제가 모르는 분야는 바로 풀기 어렵고요 제가 제일 잘 알고...
-
100명중에 20명가량밖에 안되네요..
-
강대 시간표좀여 4
강대 본원 시간표인데 제가 독서랑 미적분이 약한데 수정할부분 좀 있으면 알려주세요..
-
그 대학 출신이 대부분인가.
-
유튜브 보다가 지금 앎 ㅅㅂ 오르비에서 보내는 두 번째 발렌타인데이..
-
주위에서 많이 듣는데 엄청 좋다네요
-
롤하고싶내 3
흠
-
못하는 건가? 입증 수단이 없나요?
-
홍대 합격 4
1차때 붙을줄알았는데 2차때붙네요 가나군 둘중 하나붙어서 홍대빠지고싶네요
-
그냥.. 무서워
-
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수...
-
냥대 3차추합 1
떴어요 기다리시는분들 예비빠진거 확인해보시길
-
열정적으로 논것도아니고 그냥 뭐한거지
-
형용할수없는 역한 감정이 넘실한 파도같음 아좆같네 진짜 왜살지 내 멘탈이면 40되기전에죽을것같은데
-
외대 맨날 6시에 올린다 하고 4시 반에 올려서;;; 걍 3시부터 폰 붙들고 존버타야하나
-
시대질문 1
이번에 시대3관걸렸는데 선생님은 아직 모르는건가요 강기원 현정훈 선생님 듣고 싶은데…
-
수험생때 오르비 참 많이 왔었는데 오랜만이네요 제 얘긴아니고 친한 친구가 대학교...
-
어디서 설수대 합격 지1생1으로 했다길래 허언증 어그로꾼으로 취급인줄알았는데 이게...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌