Yearly Archives: 2009

The Autonomy of Mathematical Knowledge, §3.3

Posted on December 15, 2009

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 Autonomy of Math Knowledge | Leave a comment

Gödel Without Tears — 8

Posted on December 13, 2009

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

Posted on December 10, 2009

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

Posted on December 6, 2009

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

Posted on December 6, 2009

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

Posted on November 30, 2009

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

Posted on November 29, 2009

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

Posted on November 28, 2009

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

Posted on November 28, 2009

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

Posted on November 27, 2009

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