Monthly Archives: October 2011

TTP At long last, a short review

Very, very belatedly — and apologies for this in particular to Alan Weir — I’ve gathered together some of the thoughts from previous blog posts into a short review of Truth Through Proof. This is absurdly compressed, even though Mind … Continue reading

Posted in Phil. of maths, Truth Through Proof | 2 Comments

Just what we needed: more logic books

I’ve just finished writing a short paper with the title “Santa’s singleton” (think about it …), of which I’ll post a version here in due course, once I’ve tried it out in a talk or two. Try to contain your … Continue reading

Posted in Books, Logic | 1 Comment