Monthly Archives: April 2009

Lies, damned lies, and references

I’m in the midst of reading through a pile of applications for the Analysis Studentship. There are some impressive looking candidates. But I’m frankly not too impressed with some of my colleagues in various universities who are writing references. Indeed … Continue reading

Posted in Rants | 8 Comments

Tim Gowers on "correct" proofs

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

Posted in This and that | 6 Comments

Three lectures on incompleteness

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

Posted in This and that | 2 Comments

Viktoria Mullova’s new Bach

“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

Posted in This and that | 1 Comment

Awodey on Sets, Types and Categories

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

Posted in This and that | Leave a comment

An Introduction to Formal Logic, Reprinted!

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

Posted in This and that | 2 Comments

Recommended: Alimentum

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

Posted in This and that | 1 Comment

How not to present Gödel’s Theorems

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

Posted in This and that | 13 Comments

Gödel book corrections

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

Posted in This and that | Leave a comment

Back to Monica Vitti

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

Posted in This and that | 4 Comments