- RT @DaintyBallerina: Why is the UK still offering a state visit to Trump when the BBC is now banned from attending his press conferences?, 4 hours ago
- Is it irksome to remark that they still seem pretty popular in the, albeit priggish, circles like wot I frequent … https://t.co/Olw1zRxVz6, 5 hours ago
- RT @Franz_Berto: 4-year postdoc in Logic & AI in ERC LoC project! Please circulate as widely as possible, come work with us @ #ILLC! https://t.co/4MXeAXFvTe, 15 hours ago
- RT @I__Love__Italy: firenze https://t.co/8ef3HFL0dD, Feb 24
- Three cheers for readability! https://t.co/U4euNOc7KX, Feb 23
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