Postcard from Dunedin

In Dunedin to read a paper at the University of Otago philosophy department. I was rehashing the line about Church's Thesis taken in the last chapter from my Gödel book (and I don't feel too guilty about talking about something published a few years ago now, as comments can still affect how I treat matters in the second edition of the book). I'd worried a bit in advance of giving this talk in Christchurch and Otago that the first half — about the general idea of a squeezing argument and...