We use cookies to measure traffic and show relevant ads. By clicking Accept you agree to our use of analytics and advertising cookies.
번호 매기기와 PM-Lisp를 사용한 괴델의 불완전성 정리 분석. 모든 수학을 형식화하는 것이 불가능한 이유. 개발자와 수학자를 위한.
