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.)

1 thought on “Gödel Without Tears — 9”

  1. 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 Comment

Your email address will not be published.

Scroll to Top