- Was fine exhib at Nat Gal of C19 purchases, incl “Botticelli” that’s now OBV not! Bet this’ll be in 2117 exhib of… https://t.co/RAqeFr6Xsx, Nov 16
- RT @JohnRentoul: @georgeeaton Let’s build on it & create an island megalopolis! https://t.co/vc4bjQGR3c, Nov 16
- RT @venezia_56: Dogana da Mar #Benoni Punta della Salute Sull' orizzonte la Giudecca e la Chiesa e Ospizio delle Zitelle… https://t.co/QVvYr6qAOK, Nov 16
- Rather disappointed to see that only one minister had resigned in the time the opera took …, Nov 8
- Aida at Prague National Theatre. Production rather clunky — but Veronika Hajnová a terrific Amneris who made the evening., Nov 8
Yearly Archives: 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
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
The latest episode of Gödel Without Tears — on the Arithmetization of Syntax — is now available here.
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
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
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
The daughter’s quite excellent cooking blog has kicked into life again … Always worth a read. Not that I’m biased or anything.
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
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
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.