A small contribution for World Logic Day 2021 today: Gödel Without (Too Many) Tears is now available as a free PDF download — linked here.
Later in the year, I plan to put up a series of short podcasts, where I give introductory chapter-by-chapter chats about book. Many students are stuck in front of video lectures for far too long at the moment anyway, so I’m very reluctant to adding to the catalogue of full-scale lectures, quite apart from the time it would take me to record decent ones. So brisk arm-waving talks sketchings some Big Ideas which you can listen to while walking around or staring out of the window, followed by readings at your own pace of comparatively content-rich chapters, seems a format for teaching/learning worth trying out.
I see that this is marked as “9.xi.2020”. Is this substantially different from “5.xi.2020”?
No … very insubstantially different! One rephrased sentence, if I recall!