That's pretty rude of you. I didn't read that essay, but I did reference about 4 essays / books that I did read :).

Went through the quanta article -- it seems reasonably different (doesn't go deep on how proof, subst, work, etc) -- I suspect the similarities stem from both of us reading Nagel and Newman's book.

Ok, then I apologize, it seemed very similar and recent.

Cheers!

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.