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 next six weeks.
- Now 125+ Logical Snippets at https://t.co/8BzsQyJzhO Answers to qns of interest to beginning/intermediate logic students. Spread the word!, 1 hour ago
- RT @I__Love__Italy: Venice https://t.co/EIGQrKe0JD, Nov 20
- Was fine exhib at Nat Gal of C19 purchases, incl “Botticelli” that’s now OBV not! Bet this’ll be in 2117 exhib of… https://t.co/RAqeFr6Xsx, Nov 16
- RT @JohnRentoul: @georgeeaton Let’s build on it & create an island megalopolis! https://t.co/vc4bjQGR3c, Nov 16
- RT @venezia_56: Dogana da Mar #Benoni Punta della Salute Sull' orizzonte la Giudecca e la Chiesa e Ospizio delle Zitelle… https://t.co/QVvYr6qAOK, Nov 16