Yearly Archives: 2009

The Autonomy of Mathematical Knowledge, §3.3

Back, after a longer-than-intended break, to Curtis Franks’s The Autonomy of Mathematical Knowledge. (You can read previous instalments of my comments here. And to keep things ticking over more regularly, I’ll blog about smaller chunks. Can you stand the suspense?) … Continue reading

Posted in Phil. of maths | Leave a comment

Gödel Without Tears — 8

Here’s the latest episode — in which we at last get to the First Incompleteness Theorem. (You can download the latest versions of earlier episodes here, as well as a composite PDF of all the episodes to date.) That’s a … Continue reading

Posted in This and that | 3 Comments

Gödel Without Tears — 7

The latest episode of Gödel Without Tears — on the Arithmetization of Syntax — is now available here.

Posted in This and that | 2 Comments

Emma on the small screen

No, this isn’t about the latest television dramatisation of Emma (though actually, I thought it was really rather good, and Romola Garai as Emma was terrific). Rather, this is about reading Austen again, this time on an iPod Touch, using … Continue reading

Posted in This and that | 2 Comments

Titian, Tintoretto, Veronese at the Louvre

Back from a few days in Paris. Fortunately the blasted museum strike didn’t hit the Louvre until after we’d seen the wonderful Titian, Tintoretto, Veronese exhibition which was in fact one of our reasons for going now (though it did stop … Continue reading

Posted in This and that | 1 Comment

Craig Smorynski reviews IGT

I hadn’t noticed that Craig Smorynski has reviewed my Introduction to Gödel’s Theorems in Philosophia Mathematica — thanks to Eckart Menzler for alerting me. Smorynski says some very nice things: The goal of the book is not to introduce the … Continue reading

Posted in This and that | 1 Comment

Rum and Reason revived

The daughter’s quite excellent cooking blog has kicked into life again … Always worth a read. Not that I’m biased or anything.

Posted in This and that | Leave a comment

Readings for New(ish) Philosophers

On the Philosophy Faculty website, we have some “suggestions for those intending to read philosophy and/or beginning a philosophy course“. But this is an elderly document which I first put together about ten years ago, and which hasn’t been revised … Continue reading

Posted in This and that | 3 Comments

Gödel Without Tears, again

I’ve updated all the episodes so far to give them what I hope are more useful headers (a bullet-pointed list of topics). The last two episodes have also been more significantly revised. You can get the latest, greatest, versions here. … Continue reading

Posted in Gödel's theorems | Leave a comment

Gödel Without Tears — 6

The latest episode showing how a theory like Q can express/capture primitive recursive functions and relations is now online. [As always, I’ll be very glad to hear about typos/thinkos.] Earlier instalments can be found here.

Posted in Gödel's theorems | 3 Comments