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