Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- David Auerbach on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Monthly Archives: February 2009
Pro-vice-chancellorian bollocks
Once upon a very long time ago, I spent a year or more of my life doing nothing else much but mathematics problems, preparing for the then entrance scholarship to get into Trinity to do maths. The standard was fairly … Continue reading
Posted in Rants
3 Comments
Logic matters website updated
I’ve not been at all attentive to the Logic Matters website recently — it’s one of those things that sometimes I’m quite in the mood to do, and at other times it seems to drop right off the bottom of … Continue reading
Posted in This and that
Leave a comment
Tim Crane moving to Cambridge
Since it is now announced on the Leiter blog, I guess there is no reason now not to say here that we’re delighted that Tim Crane is moving to Cambridge from UCL as the new Knightbridge Professor, from the autumn.
Posted in This and that
1 Comment
Parsons, the whole story, at last
I have been blogging on and off for quite a while about Charles Parsons’s Mathematical Thought and Its Objects, latterly as we worked through the book in a reading group here. I’ve now had a chance to put together a … Continue reading
Posted in Math. Thought and Its Objects
1 Comment