We use cookies to measure traffic and show relevant ads. By clicking Accept you agree to our use of analytics and advertising cookies.
Analysis of Gödel's incompleteness theorems with numbering and PM-Lisp. Why it's impossible to formalize all mathematics. For developers and mathematicians.
