괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
3차추합했네요!! 다들 성불하세요 중앙대 중대
-
이거 사고 싶네 1
이름이 마음에 듦
-
평가원 2~3 학평 1~2였어요 단어를 다 까먹었네요
-
진심임
-
지방 일반고에서 지균 수시로 설대 상경 가면 학교 안에서 인식 어떤가요? 경영...
-
ADHD 운영법
-
컹컹 왈왈
-
제 아이민입니다 7
2049372
-
2022년 7월: https://orbi.kr/00057971264 2022년...
-
파라다이스였늠
-
화1은 25수능 결과보고 하위권은 물론이고 상위권까지 많이 빠져나갔음 심지어 시대...
-
다 쓰지도 못하고 죽을거면서 돈 많은데도 계속 일하는 사람들보면 솔직히 저게맞나...
-
다들 안녕 6
물질이 관측됨으로써 상태가 결정되는 것처럼 사람도 다른 사람과의 상호작용을 통해...
-
옛날에는 과탐러는 죄다 화학을 하는게 국룰이였답니다... 보통 물1화1생1화2를 골랐었죠...
-
-
근데 상식적으로 해외로 빠지기엔 수능을 그렇게 열심히 했다는 건 의아하고 카이스트도...
-
레벨2 4점 정도인가요? 개념끝내고 이제 풀고있는데 무난하게 거의 다 풀리는 거...
-
동네아수쿠림할인점서6백원에파는데정말혜자로운거시다
-
현역 수능날 성적표 받으러 교무실 가가지고 받고 사람없는데로 도망쳐나옴… 그래서...
-
그래야 오르비 재밌게 할수있지 ㄹㅇㅋㅋ
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌