Gödel Without Tears — 10

There are slightly revised versions of the episodes on the First Incompleteness Theorem and the Diagonalization Lemma now online.

And there is a cheeringly short episode on The Second Theorem, newly added.

(As before, 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.

Leave a Reply

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