I now have most of a new version of Gödel Without (Too Many) Tears. It remains recognizably the same set of spruced-up lecture notes, but now better arranged, and significantly clearer at some points.
So here’s the plan. I’m going to post a chapter a day of the new version here on the blog, starting on Tuesday September 1st.
Comments/corrections/suggestions for improvement can then also be posted here; and I’ll try to respond to queries and questions day by day (though I’ll have to see how that goes). Hopefully that will prove useful both for some readers and for me!