Gödel Without Tears — 9

There’s a slightly extended version of the treatment of the First Incompleteness Theorem now online, with a short section added about the historically first First Theorem.

And newly added is an episode on The Diagonalization Lemma, also covering Rosser’s and Tarski’s Theorems.

(You can download the latest versions of earlier episodes here, as well as a composite PDF of all the episodes to date.)

This entry was posted in This and that. Bookmark the permalink.

One Response to Gödel Without Tears — 9

  1. Anonymous says:

    GWT 8, noticed a small typo at line 2 (i*n*complete). Thanks for posting this btw, that’s excellent and helpful stuff.

Leave a Reply

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