괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그냥 수업 결석하고 보러가는건가 아님 병결?
-
유일하게 스스로 잘했다고 느끼던 그 짜릿함을 못잊어
-
3덮 투과목 없나요? 11
ㅈㄱㄴ
-
헉
-
충격 고백하겠습니다 14
저는 여르비를 남르비라고 봤고요 남르비를 여르비로 봤어요 쌍*가 여자인줄 알았다..
-
즐기겠습니다 3
즐기는 자 이길 수 잇슴? 물론 공부를 즐기진 않을거임
-
속이 거북함 어지러움 ㅡ
-
ㅇㅈ 31
달구랑 찍은 것도 있는데 사진이 안보인다
-
잃은거-친구, 건강, 취미 얻은거-학벌
-
내가 수능 잘 볼라고 십 년 가까이 갈아넣었는데 이 세월을 다 의미 없게 만들기는...
-
그러겠지
-
뱃지말고뭐뗄까 4
흠
-
히히 드개재~~~ 수정) 시발 저거 알몸 아녜요 손가락이 카메라 막아서 그런겁니다
-
시대 3관 0
과탐 선택 비율 어케됨요? 성적도 궁금해요..
-
ㅇㅈ 6
식물 납치하러 가는 나
-
하나 살꺼 같은데
-
공부 다 하고 매일 30분 런닝에 4-50분 웨이트
-
뱃지 떼는게 21
먼가 더 캐쥬얼하고 깔끔한거같음 튜닝의끝은 순정인가
-
질문 주세용
-
오른손목은 당연히 나갔고 지금 5번인가 디스크 눌리고 있음 ㄹㅇ 재활수준의 운동을해야댐
-
열심히 사시는게 보기 졸더라구요
-
아무리 공부 잘하고 머리 똑똑해도 킬러 하나. 혹여 실수라도 하면 땡이니까요....
-
난 후회 ㅈㄴ함 4
이럴거면 시작도 하지말걸
-
제 전닉 3
기가채드입니다 모르시는 분들 간혹 보여서 당황
-
잇올에서 커뮤충으로 찍히면 어카지
-
ㅇㅈ하라해서 함 13
본거 또보고
-
이거 걍 술주정임?
-
조금 더 구체적으로 어떤 종류의 정신병이 나타난다는 의미인가요? 예시 ㄱㄱ
-
진짜 여기 붙으면 좋을거 같은데.. 알바트로스 탑에 절이라도 박으러 가야하나
-
ㅇㅇ
-
흔들게요~ 뽁뽁 하더니 이미 뺐고 뿌리 뺄게요~하더니 10초만에 뽑음 존나 고마워요ㅛㅛ
-
이 세상은 내가 노력이상의 무언가를 가져가게 안두는듯 7
그게 아니라면 주요과목에서 찍맞이 하나없는게 말이 안됨
-
ㅇㅇ
-
3.5수거나 3의 반(1.5)수니깐 삼반수는 우리가 관념적으로 이해하고 있는 사반수...
-
진짜 모름
-
삼국대TMI 0
라이센스나오는 학과or전문대학원이 3개씩 있다 QED
-
이름부터가 반수인데 0.5로 치면 안 되나
-
한 번에 가는게 기본값이라고 생각했어 그치만 이제 삼반수를 앞두고 있는
-
있을 자리가 없다 올해까지는 짜져있어야지ㅠ
-
메타 ㅈ같네 8
나간다
-
난 재수생임 현역임? 24
자퇴해서 나이는 현역인데 재수함 이런 경우엔 친구 사귈 때 재수했다 해야하나 아님...
-
친구들끼리 백제예대 신라대 고구려대 다 합격하면 삼국통일전형으로 고려대 갈 수 있냐면서 놀았는데
-
N수메타임뇨? 12
0수도 껴주시나요
-
맞팔 해주세여 4
저도 옯창 되보고싶어여
-
의치대는 무서워 5
내 이빨 뽑은 거 보고도 기겁하는 사람이다 보니 남 살 째고 이 뽑고 수술하는 거...
-
건동홍이 절대 낮은대학이아님 상위권임
-
건국 동국 뭐시기 대박
-
롤 노잼임
-
제가 육회비빔밥을 아주 좋아하거든요 중앙대 다닐땐 맨날 육회비빔밥먹었는데...
-
시험 2주전부터 딱 적당한 시간 취침 적당한 시간 기상을 진행햇음 아마 10시...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌