Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne 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
- 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
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Yearly Archives: 2008
Logic keeps you sane
Non-philosophical events have really been rather stressful over the last six weeks or so. While I’m keeping my head above water as far as teaching and seminars are concerned, lots of other things — like sounding off here! — have … Continue reading
Posted in This and that
1 Comment
Congratulations to Luca Incurvati
Champagne in the graduate room this afternoon (and more afterwards during the logic seminar) to celebrate Luca‘s election to a three-year Junior Research Fellowship at Magdalene from next October. Great news.
Posted in This and that
1 Comment
The Gowers’ Companion/Davenport’s Higher Arithmetic
Tim Gowers’s Princeton Companion to Mathematics — which has been available from Amazon USA for a discounted price for a little while — is now available at a 25% discount from Amazon UK. Hooray! I’ve sent off for it and … Continue reading
Posted in This and that
Leave a comment
Bafflement
We’ve now had three seminars on Wittgenstein’s remarks on the foundations of mathematics in the Big Typescript, taking things very slowly. The first week, I talked about Sec. 108 (the contrast between arithmetic and a game). One of our final … Continue reading
Posted in This and that
1 Comment
Peanuts on intuition …
Thanks to David Auerbach for this! (Click to enlarge.)
Posted in This and that
Leave a comment
Parsons’s Mathematical Thought: Sec. 35, Intuition of finite sets
Suppose we accept that “it is not necessary to attribute to the agent perception or intuition of a set as a single object” in order to ground arithmetical beliefs. Still, we might wonder whether some such intuition of sets-as-objects might … Continue reading
Posted in Math. Thought and Its Objects
2 Comments
D960 for a desert island?
Sometimes, in an idle moment, I jot down — be honest, don’t we all? — a list of the eight discs I would select as my Desert Island Discs. Impossibly difficult of course! But one constant choice is the last … Continue reading
Parsons’s Mathematical Thought: Secs 33, 34, Finite sets and intuitions of them
So where have we got to in talking about Parsons’s book? Chapter 6, you’ll recall, is titled “Numbers as objects”. So our questions are: what are the natural numbers, how are they “given” to us, are they objects available to … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Life is too short …
After empty months over the summer, you are suddenly faced with hectic weeks when there is far too much going on by way of seminars and discussion groups. I assume it is much the same in most places; but perhaps … Continue reading
Posted in This and that
1 Comment
Survived!
There’s a piece on academic blogging in today’s Times Higher Education. It doesn’t contain any big surprises, but it is mildly interesting — and I do get a few mentions. Fame at last. I have an entirely enviable walk into … Continue reading
Posted in This and that
Leave a comment