Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
Blogroll
Tweets @PeterSmith
- “@changingspaces_: http://t.co/S6hYoL4l the Hunt & Darton cafe where the cafe is the work of art” But will the macchiato be any good? Posted 2 days ago
- Pudsey (dancing dog) wins £500,000, & is all over the papers. Brilliant Laura van der Heijden wins £2000, zero press. Such is Britain 2012. Posted 3 days ago
- #bbcyoungmusician final was astonishing, the winner beyond belief. Where are the online reviews/comments in Grauniad, Indy, Telegraph??? Posted 3 days ago
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
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
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