GWT updated

The first two episodes of Gödel Without Tears have been corrected — catching a few typos but mainly to correct the silly thinko that David Makinson caught. And there are new versions of episodes 7 (Arithmetization of Syntax) and 8 (The First Incompleteness Theorem), though these aren’t much changed from last year’s NZ version. Go to the GWT page.

Later: Oops, the corrected version of Episode 2 is now properly linked.

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top