Saturday, December 29, 2001
Sentient arithmetic
Sentient Arithmetic and Gödel's Theorems: K. Kannan Nambiar attempts to prove Gödel's Incompleteness Theorem without using metalanguage.
Comments
Post a comment