Monthly Archives: June 2006

Thank goodness that’s over

Posted on June 24, 2006

Examining over for another year. Thank goodness. I don’t particularly mind the process of marking tripos papers itself (though there is that inevitably huge and always rather dispiriting gap between what you tried to put across and what comes back … Continue reading →

Posted in This and that | 1 Comment

"The best and most general version"

Posted on June 17, 2006

I’m still half-buried under tripos marking, but the end is in sight. And I’m Chair of the Examining Board for Parts IB and II this year, which is also not exactly an anxiety-free job. But between times, I’m trying to … Continue reading →

Posted in Logic | 2 Comments

Was Gödel right?

Posted on June 17, 2006

A coincidence. Rereading John Dawson’s Gödel biography Logical Dilemmas, I’ve just got to the point where Dawson recounts how Gödel thought he’d discovered an inconsistency in the American Constitution, which would allow a dictatorship to arise (pp. 179-80). And then … Continue reading →

Posted in This and that | Leave a comment

Gödeling along

Posted on June 6, 2006

I’m still working away on my draft book on the incompleteness theorems, in between the delights of marking tripos papers. I’ve just uploaded a new near-final(?) version of Chapters 1 to 22 — the first two hunded pages — to … Continue reading →

Posted in This and that | Leave a comment