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: August 2008
Contributing off the cuff?
Relatively recently, we’ve started having an occasional in-house one-day faculty colloquium, where staff and grad students give papers on their current work. I’ve just been asked if I’d like to talk to the next one, so I offered to chat … Continue reading
Posted in This and that
2 Comments
Honest Toil
I’m just catching up with the (fairly) new and excellent blog Honest Toil from Chris Pinnock.
Posted in This and that
Leave a comment
Naturalism in the Philosophy of Mathematics
Alex Paseau has a new entry in the Stanford Encyclopedia on ‘Naturalism in the Philosophy of Mathematics‘. If I was being picky, I’d perhaps say that student readers will find that it dives in the deep end a bit quickly. … Continue reading
Posted in Logic
Leave a comment
Mediocrity and bullshit
“I have never pretended to political correctness, so I can happily abhor the sanctimonious politically correct bullshit that made the British contribution to the Olympic closing ceremony so appalling. The most dull dancing imaginable, completely unsuited in scale to the … Continue reading
Posted in This and that
2 Comments
Back to Sammartini
An old friend has just given me, burnt on to a CD, some symphonies of Sammartini, taken from an old Saga LP from the 1960s. Instantly takes me back to my student rooms in Trinity. And quite wonderful to hear … Continue reading
Posted in This and that
Leave a comment
MacBook Air, one month on
Anyone out there who is wavering about getting a MacBook Air might be interested in some comments from a new owner. Everyone else can, of course, just cheerfully ignore this posting! (The headline summary is: get one! — though perhaps … Continue reading
Posted in Geek stuff
2 Comments
Parsons’s Mathematical Thought: Secs 24-26, Intuition
Chapter 5 of Parsons’s book is called “Intuition”. And I guess I should declare an interest (or rather, lack of interest!) here. I’ve never really understood talk about intuition: and I’m certainly not helped when Parsons writes “I shall be … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Shoesmith and Smiley to be reprinted
It is announced on the CUP website that Shoesmith and Smiley’s Multiple-Conclusion Logic is to be reprinted early next year. That’s terrific news.
Posted in This and that
Leave a comment
Parsons’s Mathematical Thought: Secs 19-23, A problem about sets
These sections make up the short Chapter 4 of Parsons’s book (they are a slightly expanded version of a 1995 paper in a festschrifft for Ruth Barcan Marcus). The issue is whether there are special problems giving a broadly structuralist … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Parsons’s Mathematical Thought: Sec. 18, A noneliminative structuralism
The previous two sections critically discussed a modal version of eliminative structuralism (though to my mind, the objections raised weren’t particularly telling). Parsons now moves on characterize his own preferred “noneliminative structuralism”, and responds to some potential obections. I wish … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment