Monthly Archives: April 2009

Catching up with Tim Gowers’s blog, I notice he makes some interesting remarks in passing about the idea of a proof. He’d initiated/co-ordinated a “polymath” project — a collaborative all-comers group effort trying to find a combinatorial proof of a … Continue reading →

Here, in a very slightly revised form — and I’m not going to have time to revise them properly for a while — are the handouts for three “Back to Basics” lectures on incompleteness that I gave at the Cameleon … Continue reading →

“To hear Mullova play Bach is, simply, one of the greatest things you can experience,” wrote Tim Ashley in the Guardian of a concert. She’s now recorded the solo sonatas for the first time and re-recorded the partitas (this time … Continue reading →

Steve Awodey has a quite short but fascinating paper now available online called ‘From Sets to Types to Categories to Sets’, inter alia saying something tolerably accessible about the significance of his recent technical work. Here’s the first paragraph: Three … Continue reading →

At long last, the much corrected reprint to my An Introduction to Formal Logic (CUP, originally 2003) has arrived on my desk and is in stock at the publishers. It’s been a bit of a saga, but worth the effort. … Continue reading →

This is only going to be of interest to locals (or those passing through Cambridge). But I warmly recommend Alimentum. The best meal out we’ve had in Cambridge, ever. By miles. In fact the best meal out since we were … Continue reading →

I was wondering whether to spruce up my very rapidly written hand-outs on Gödel’s Theorems which I produced for the Cameleon weekend and publish them here. I was beginning to think I wouldn’t bother, as there are other things I … Continue reading →

I’ve just uploaded a new version of the corrections sheet for my Gödel book, at www.logicmatters.net. I’m still cogitating how best to handle some further suggestions/complaints (and how best to respond to nagging worries I have about my presentation of … Continue reading →

It’s all been getting a bit monochrome and serious here lately (memo to self: lighten up a bit). So as a distraction from the rigours of logic here’s another in that occasional series of photos of Monica Vitti. This one … Continue reading →