괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
메가패스 있는데 배기범 ㄱㅊ?
-
근데 가서 열심히해서 전과해도 최대포텐이 냥높과인데 내가삼반수하면 연고대를갈수있지않을까
-
ㄹㅇㅋㅋㅋㅋㅋㅋㅋ
-
저 수학연구소 ㅜㅜㅋㅋㅋㅋㅋㅋ 인하대 두번 클릭하니까 사짐
-
외계인영화 개좋아해서 다운받아놨는데, 누가 예상처럼 그런 외계인 영화아니라고...
-
질받(선넘 허용) 13
착한 오르비언들이 하꼬인 나를 불쌍히 여겨 질문해줄거라는 확신이 있음
-
ㅈ댓다
-
경희대 예비 5
아니 지금 최초합격자 발표부터 3차까지 제 예비번호가 그대로예요 16명이나 뽑는...
-
숫자 9 이렇게 적음
-
사실 이미 하난 정했는데
-
공부 못하지만 공부 관련된 것도 좋구 사적인 것도 괜찮고 이상한것도 좋교 선넘은...
-
몇년째 바뀌지 않는 것을 보고 그냥 병먹금 하는 것으로 일관하는 중 어떤 직군이든...
-
서강대식 기준 수학과 예상 점수나 예비번호 ( )이 점수로는 ( )점이다 ->데이터...
-
나 친구어케만들지 오티도못가 새터도못가 설마 또 찐따생활이야? 학교갔는데 나빼고 다 친해져있고
-
주니어교수는 진짜 적긴하구나
-
제일 중요한건 가족들과의 추억 아닐까여? 전 알바끝나고 가족한테 전화해서 같이...
-
기하러의 시대가 온다는거야
-
24 언매만 5틀인데 강의 듣고 복습 꾸준히 하니까 점점 틀이잡히면서 문제가...
-
나 혼내줘 7
국영수탐 밸런스있게 안하고 수학만 해..
-
아 카페를 먼저올렸네(카페는 2차임) 여동생의 존재로인해 술은 빠꾸당함뇨
-
롤하실분 11
롤하실분뇨
-
어느날 고공을 나오면서 21
합격증 나오면 이 제목으로 인증해야지
-
배성민 3
자러감
-
다항 방정식의 해를 찾아야햇음. 일단 첫번 째로 정수 체계x-4=0? 머 이런건...
-
월월월
-
오랜만에 와서 팍 식어부렀어...
-
올해 맥도날드 전세계 수입 1년치 현금받기
-
카페 ㅇㅈ 4
-
걍 가기싫어서 면접안하고 떨어짐
-
내뒤로 한명은 더 붙을듯
-
그나마 풀고 싶은 문제 수도 한 손으로 셀 수 있을 정도
-
이리 닉네임 2
본명임
-
셀레뭐시기 들어오셈 18
대수학의 기본정리 상수가 아닌 복소계수 다항식은 반드시 복소수 근을 갖는다<<이거임...
-
추가모집 상담 때문에 계속 입결 보게 되는데 한서삼 되는데 가천 안되는 분들이...
-
해야할일list 3
언매 개념미적 개념
-
경희대 응수 0
응용수학과 예비 4번인데 ㄱㄴ한 부분?
-
Internal server error의 굴레에 빠졌다
-
의대합격하기vs 3
올해까지 전세계 마인크래프트 다운로드,구매 수익 가져가기
-
이리할 사람 5
이터널 리턴
-
일단 현역(07)이 너무많음(이건 05 06이 적어서 역체감이 큰것도 있음) 거기다...
-
모솔한테 맨날 연애운 좋대
-
일주일에 공통 드릴 약 25문제 강사 n제 70문제 강사 하프모의 35문제 미적...
-
3차추합했네요!! 다들 성불하세요 중앙대 중대
-
오르비 미쳤냐 2
서버 왜이래
-
진짜 모름excited state임
-
대성이든 메가든 연계 대비 강사쌤 추천 좀 볼륨 어느정도 있고 꼼꼼하게 해주시는분
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌