Back to logic

I have to start singing for my supper today, and earning my keep as an Erskine Fellow. This  means giving a dozen lectures on Gödel, plus a few talks to various seminars. The Gödel lectures kick off today, and I've started updating/extending the notes to accompany the lectures. The notes are now called — perhaps more honestly — Gödel Without (Too Many) Tears. The first instalment of the new version can be found here, where further episodes will be posted at the rate of two a week for the...