Monthly Archives: December 2012

Three cheers for TeXShop

As I write this, I’m printing out a hard copy of the Gödel book — hopefully the version to be taken along to CUP along with the PDF file when they re-open next week. I’ve been tinkering with this second … Continue reading

Posted in Geek stuff | 4 Comments

A Christmas card

All good wishes for a peaceful Christmas

Posted in This and that | 1 Comment

In the dunce’s corner …

I’m spending a bit of quality time in the dunce’s corner, having dashed off a ‘solution’ to a problem in propositional calculus (yes propositional calculus, for heaven’s sake) over at math.stackexchange and got it quite wrong. And as fate would … Continue reading

Posted in Logic | Leave a comment

Proof reading again …

I’m slowly working through the proof-reader’s corrections for Gödel Mark 2 (and re-reading the book carefully one last time as I go). So far, I’ve got through a quarter of the book, and CUP’s reader has found two tiny slips … Continue reading

Posted in This and that | Leave a comment

Weather report

“If you don’t like the weather in New England now, just wait a few minutes.” Mark Twain’s remark applies in spades in Old England. Changeable or what? But one nice thing about retirement which they don’t tell you  — and I’m … Continue reading

Posted in This and that | Leave a comment

The Decline of the West, Episode 42

Here’s a very dispiriting new blog post by Tim Gowers about the dire state of school maths teaching in the UK. I’m a bit surprised, though, that he’s surprised by what he discovered (but then being in the happy situation of … Continue reading

Posted in Academic life, Logic | 4 Comments