괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
맞추면 천덕
-
고려 때 최초의 사심관은 누구일까?
-
재수까진 그럴수 있다고 쳐도 2번해서 실패했는데 왜 꾸역꾸역 3수 4수 5수...
-
해설쓰고고치고 2
쓰고고치고
-
수면패턴 망했다 4
.
-
걍 수1 수2 141522번보다 비교도안되게어렵게느껴지는게 맞아요? 계산+그래프의...
-
사탐런? 12
06 재수생입니다.언매 미적은 유지 예정이고, 탐구 과목 선택 때문에...
-
정디플 갔는데 잘 한거지?
-
나만이런가 자라는뜻이겠지
-
수능 꿀잼 2
ㅋㅋ
-
ㅋㅋㅋㅋㅋㅋㅋㅋ
-
안경잃어버렸다 5
안경찾다가 못잤음 암튼그럼
-
하는게 좋나 먹고나서 운동하는게 좋나 천국의 계단 탈껀데
-
다 자 인제 1
난 안 자
-
숭실 vs 아주 7
숭실대는 자율전공학부랑 아주대 미래모빌리티 공학과 붙었는데 어딜가야할까요..?...
-
내년 입시는 너무 혼란스럽겠다
-
지듣노 7
타상연화 노래만 남기고 사라진 영화 영화도 봤는데 흠 전 그저 그랬는데 악평이 많은
-
그 내용은 짝사랑 실패물일것이다
-
ㅇㅈ 5
깁스 인증.
-
상식퀴즈 5
어쨋든 상식퀴즈
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌