- RT @jana_bacevic: I found this comic yesterday and think I want to marry it & have its babies. https://t.co/NcNMDk0GHi, 12 hours ago
- Logic people might be interested in a PDF of an (old) biblio of Georg Kreisel … https://t.co/HnOdqqdR5W, Jan 20
- RT @Vella_Schiavo: “Tu non fai che cercar di tamponare la solitudine che sfugge da tutte le parti.” John Steinbeck ~ (Quel fantast… https://t.co/Sqqw9Mbxl9, Jan 19
- Logic people … what [metalanguage] symbol do you like to use for assigning a truth value to a wff??? https://t.co/OlouUTAzh0, Jan 13
- My version of dry January was to be not reading anything about blasted Br*x*t this month. Huh. Not going too well … I need to get a grip!, Jan 12
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.