Here’s the latest episode — in which we at last get to the First Incompleteness Theorem. (You can download the latest versions of earlier episodes here, as well as a composite PDF of all the episodes to date.)
That’s a good place to pause and get back to other stuff. The plan is for five more episodes: two more around and about the First Theorem, two on the Second Theorem, and one lightning tour of the bits from the last part of my book which are most relevant to Gödel’s Theorems. But these episodes won’t be written until lectures start again in the New Year.