The first episode of the new version of Gödel Without Tears was downloaded over 1650 times in seven days: there seems to be some interest, which is good to see!
Anyway, here’s a very marginally revised version, together with the next episode from today’s lecture.
Comments are open for corrections and queries: as I said before, there’s a (as yet unused) dedicated GWT comments page here.