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: January 2009
Parsons’s Mathematical Thought: Sec 55, Set theory
The final(!) section of Parsons’s book is one of the briefest, and its official topic is about the biggest — the question of the justification of set-theoretic axioms. But, reasonably enough, Parsons just offers here some remarks on how the … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
MacBook Air, six months on
Anyone out there who is still wavering about getting a MacBook Air might be interested in some comments from a delighted owner who has now had one for six months (this updates my “after one month” post from last August). … Continue reading
Posted in Geek stuff
1 Comment
Parsons’s Mathematical Objects: Sec. 54, Arithmetic
How does arithmetic fit into the sort of picture of the role of reason and so-called “rational intuition” drawn in Secs. 52 and 53? The bald claim that some basic principles of arithmetic are “self-evident” is, Parsons thinks, decidedly unhelpful. … Continue reading
Posted in Math. Thought and Its Objects
1 Comment
Parsons’s Mathematical Objects: Secs 52-53, Reason, "rational intuition" and perception
Back to Parsons, to look at the final chapter of his book, called simply ‘Reason’. And after the particularly bumpy ride in the previous chapter, this one starts in a very gentle low-key way. In Sec. 52, ‘Reason and “rational … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Wittgenstein’s Notes on Logic
Just to say that my colleague Michael Potter’s intriguing new book Wittgenstein’s Notes on Logic is published tomorrow.
Posted in Books
Leave a comment
Nerdy stuff
Just for fellow Macaholics … I’ve just noticed that a new version of TeXShop has been released in the last couple of weeks, with a couple of useful little tweaks. I had a pre-release trial copy of Things for a … Continue reading
Posted in Geek stuff
Leave a comment
Leiter Report
I notice that the Leiter Report pre-publication headlines about UK departments has Cambridge ranked third, after Oxford, and the Stirling/St Andrews show. A happier outcome than in the RAE — and the PGR rankings are rather a better indicator for … Continue reading
Posted in This and that
2 Comments
Can Smiley be Carnapped?
The Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics took place over the weekend. You can see what you missed here. It would be nice to drum up just a bit more support next time — for … Continue reading
Posted in This and that
Leave a comment
Parsons Mathematical Thought: Sec. 51, Predicativity and inductive definitions
The final section of Ch. 8 sits rather uneasily with what’s gone before. The preceding sections are about arithmetic and ordinary arithmetic induction, while this one briskly touches on issues arising from Feferman’s work on predicative analysis, and iterating reflection … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Travel broadens the mind …
When I was editing Analysis, I went to quite a few conferences in the line of fairly pleasurable duty, to find out what the bright young things were up to, what the hot topics were. But since then I’ve become … Continue reading
Posted in This and that
Leave a comment