3 ms·
Hi Amboo7! The article "What Gödel Discovered" improves on the Quanta article linked above by using Lisp expressions instead of Gödel numbers. The proof in
by ProfHewitt 6y ago
Hi Amboo7!
The article "What Gödel Discovered" improves on the Quanta
article linked above by using Lisp expressions instead of
Gödel numbers.
The proof in "What Gödel Discovered" is still incorrect
because the Lisp expressions it uses leave out the crucial
orders on propositions in Russell's Principia Mathematica.