- RT @JoWolffBSG: Very touched that @UCLPhilosophy is holding conference for me. Wonderful line-up of speakers. My thanks to @vmdarde https://t.co/WbNJ5feMMT, 5 hours ago
- I loved Robert Harris's Cicero trilogy. But his new Conclave is surely very disappointing, the ending ridiculously fanciful ..., May 14
- RT @gravbeast: Sounds interesting. via @PeterSmith: Penelope Maddy on sets, categories, and the multiverse https://t.co/kLM3QLGYms, May 13
- Sad for old Aber hands to see that the Uni is rather dire financial straits (again) https://t.co/XMVYlm31Rb, May 10
- "Were you still up for Jeremy Hunt?" https://t.co/l9vfA2Oqcs, May 9
Monthly Archives: November 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
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.
Well, that really takes the biscuit. The University Library tea room has stopped using china cup and saucers like a civilized place, and started using disposable paper cups. Ye gods, what is the world coming to? Once upon a time, … Continue reading
I promised — foolishly, as I’m quite snowed under with other things too! — to introduce a paper of Neil Tennant’s on entailment and deducibility next week at our logic reading group. So as background I thought it might be … Continue reading
Hilbert writes Just as the physicist investigates his apparatus … the mathematician has to secure his theorems by a critique of this proofs, and for this he needs proof theory. (p. 61) Indeed: if you are physicist getting surprising results … Continue reading
Moving the blog and other stuff to a new host and getting to know WordPress just a bit has — what a surprise! — taken up too much time. I’ll try to concentrate now on moving more content (leaving theme-fiddling … Continue reading