Monthly Archives: March 2010

Eat New Zealand

This won’t be of interest to too many, but for NZ foodies … We were beginning to lose hope. The quality of ingredients available here in NZ can be amazing: even our local New World supermarket (think Tesco’s) has local … Continue reading

Posted in This and that | Leave a comment

More Gödel, less Parsons, no LaTeX

The first nine episodes of the revised Gödel Without (Too Many) Tears are now online here. (Two more to come next week, and a closing review in a twelfth episode thereafter.) But my plan to work through Parsons again here … Continue reading

Posted in This and that | 1 Comment

Postcard from Taieri Gorge

Took the train trip from Dunedin up the Tiaeri Gorge to Middlemarch and back. Simply beautiful as you can see. Of the town, however, we only really saw central Dunedin. Some rather splendid early buildings mixed in with too much … Continue reading

Posted in This and that | Leave a comment

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 … Continue reading

Posted in This and that | Leave a comment

How to think about consciousness?

Keith Frankish — via his eminently followable twitterings — got me reading Brian Fiala, Adam Arico and Shaun Nichols: “On the psychological origins of dualism: Dual-process cognition and the explanatory gap.” Highly interesting, enjoyably written, and — on an admittedly quick … Continue reading

Posted in This and that | 2 Comments

Kleene’s Normal Form Theorem entails Gödel’s First Incompleteness Theorem

Talking about this result at a maths seminar, I realized my previous effort at this in the book is less pretty than it should be. In effect, I stupidly embedded (i) a proof that  not every partial recursive function is … Continue reading

Posted in This and that | 2 Comments

Postcard from Sumner

Some wonderful late summer weather. So much New Zealand, so little time to explore.

Posted in This and that | 1 Comment

More Parsons, more Gödel

The second instalment of my revised comments on Parsons is here. And the first five episodes of the revised Gödel Without (Too Many) Tears are now online here. So it isn’t all sun, scenery, and Pinot Noir for me in … Continue reading

Posted in This and that | 2 Comments

The paleographer and the managers: a tale of modern times

Brian Leiter’s estimable blog has already posted Iain Pears’s terrific essay on the KCL cuts as a sign of the times: The palaeographer and the managers. But if you haven’t read it, do. It is the best single thing I’ve … Continue reading

Posted in This and that | Leave a comment