괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
24 언매만 5틀인데 강의 듣고 복습 꾸준히 하니까 점점 틀이잡히면서 문제가...
-
제발 저도 남들만큼 하고 싶어요
-
10번부터 네번절고(오답할때도 절음 뭐가있나봄)결국틀림 11번 두번 12번 두번절고...
-
맛있는건~ 5
정말 참을 수 없어어~
-
언젠가 연심을 품은 이가 있습니다. 그를 생각하면 저도 모르게 미소가 지어집니다....
-
카페 ㅇㅈ 4
-
흐흐 3
-
ㄷㄷㄷㄷ 이름 가림
-
근데 연고높공이랑 설대 인문 붙으면 어디감?? 저정도 머리 되는 사람들이면 공대가서...
-
미안합니다 1
아무것도 안떠올라요
-
얄팍한 코딩지식으론 알 수가 없어
-
Internal server error의 굴레에 빠졌다
-
3.5수거나 3의 반(1.5)수니깐 삼반수는 우리가 관념적으로 이해하고 있는 사반수...
-
ㅇㅇ
-
9평 5번 틀려서 48점 수능 3번틀려서 48점 둘 다 2 떠서 걍 나가리임
-
3차추합했네요!! 다들 성불하세요 중앙대 중대
-
이거 사고 싶네 1
이름이 마음에 듦
-
평가원 2~3 학평 1~2였어요 단어를 다 까먹었네요
-
진심임
-
지방 일반고에서 지균 수시로 설대 상경 가면 학교 안에서 인식 어떤가요? 경영...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌