Yearly Archives: 2006

Greg Restall on arithmetic

Greg Restall has put a very nice paper online, called ‘Anti-realist classical logic and realist mathematics’. I’ve always been tempted by logicism in the very broadest sense: but Greg’s critics, of course, will say that he’s just smuggled the rabbit … Continue reading

Posted in Logic | 1 Comment

Gödeling along again

I’ve just posted a “maintenance upgrade” of the first 14 chapters of An Introduction to Gödel’s Theorems on the book’s website (and, now I’ve got a bit of time, redone the site from scratch as well so it is a … Continue reading

Posted in This and that | 1 Comment

Categories: episode three

Kai von Fintel has just e-mailed, to send a link to the Good Math, Bad Math blog on category theory which is excellent — a series of mini-essays on concepts of category theory with some very helpful introductory explanations of … Continue reading

Posted in Logic | 1 Comment

Slow work …

It’s slow work, going through my Gödel book a couple of chapters at a time checking for typos (down to the level of missing brackets or periods, ‘x’ for ‘y’, etc.), and looking for thinkos, sentences where the prose could … Continue reading

Posted in This and that | Leave a comment

Categories: episode two

A copy of Steve Awodey’s new Category Theory (Oxford Logic Guides 49) has just been delivered. His preface starts Why write a new textbook on Category Theory, when we already have Mac Lane’s Categories for the Working Mathematician? Simply put, … Continue reading

Posted in Logic | Leave a comment

Categories: episode one

I said I’d post occasional progress reports on getting to grips with Category Theory, to pass on recommendations about what I’ve found helpful, etc. (Perhaps I should explain that — when trying to get into a new chunk of maths … Continue reading

Posted in Logic | Leave a comment

Getting categorical

For a bit of light relief from matters Gödelian, I’m hoping to spend the next couple of months getting more to grips with category theory (well, and why not? — there are world-class category theorists just down the road at … Continue reading

Posted in This and that | 1 Comment

Gödel at long last

Back from Tuscany, with — at long last — a complete draft of my book on Gödel’s Theorems; if you are interested, do download a copy of the PDF, for all comments/suggestions will be very, very gratefully welcomed (I’d rather … Continue reading

Posted in Italian matters | Leave a comment

Thank goodness that’s over

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"

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