Yearly Archives: 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

Teach Yourself Logic, #7. A bit of deviance

There’s a new version of the self-help Guide downloadable from the Teach Yourself Logic page (added: updated to Version 7.1, Nov. 26). Heavens this is time consuming! — but having (as it now seems, foolishly) started, I guess I should … Continue reading

Posted in Logic, TYL | 11 Comments

Postcard from Turin

It’s been a while since we were in Italy, so a quick city break — this time to Turin (a new city for us). The central city is rather impressive, wide colonnaded streets and some large piazzas. And with the … Continue reading

Posted in Italian matters | 4 Comments

Teach Yourself Logic, #6

A new page for the Guide is now here on the site. And a new version of the Guide (Version 6.0, 6th November) can be downloaded from there.

Posted in Logic, TYL | Leave a comment

Teach yourself logic, #5: Arithmetic, computation and Gödelian incompleteness

I’ve just written a (partial) draft of another chunk of my developing Teach Yourself Logic reading guide. As always, comments and suggestions will be very welcome indeed. I’ve tried to restrain myself, but this segment of the Guide is already … Continue reading

Posted in Logic, TYL | 12 Comments