괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오르비 글 보고 궁금해짐
-
내가 ㅇㅈ하면 4
오르비 초토화될듯 ㅋㅋㅋ
-
도태한남 자살해야겠다
-
첨에 봤을 땐 그저 그랬는데 착한 게 보이면 갑자기 예뻐보이고 눈길 감
-
고려대 사랑해
-
요즘 워낙 흉흉한 사고가 많은데 무인 스터디카페는 괜찮겠죠?
-
어케 여자가 3명밖에 없니 아이고
-
원과목 최상위권들 투과목런 ㅈㄴ쳤음 지금
-
설뽕이 안빠진다 13
이메일 적는 란에 스누메일 적었다.
-
조금 더 구체적으로 어떤 종류의 정신병이 나타난다는 의미인가요? 예시 ㄱㄱ
-
있으면 댓글부탁
-
ㅇㅈ 4
을 할까말까할까말까
-
오르비에서 실모 시즌에 11
회차 피드백하면 욕먹음?
-
여러분들은 만족할 수 있는 대학 라인이 어디인가요? 46
전 고연대요
-
이 분들 어디 가셧나요 11
심심한 달리기선수 사랑과평화우정 어피니티
-
거의 다 스카이랑 메디컬 가던데 정답:그정도 되는 애들만 올린다 저도 후기 레전드...
-
의치대는 무서워 5
내 이빨 뽑은 거 보고도 기겁하는 사람이다 보니 남 살 째고 이 뽑고 수술하는 거...
-
미치겠네 3
토하는것도 진짜 오랜만임 옷 어케 세탁하냐....
-
remedy 치료,치료하다인데 이걸 리메디,레메디,리미디,레미디 아무렇게나 읽어도...
-
건국 동국 뭐시기 대박
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌