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.
Yearly Archives: 2008
What have I missed?
It’s around now that the reviews pages and the literary supplements carry lists of their Books of the Year. So what really worthwhile books on logic matters were first published in 2008? Alan Sokal’s Beyond the Hoax is amusing in … Continue reading
Posted in This and that
5 Comments
Meanwhile, reading Giaquinto
I’m still working away on Parsons’s book — and I’m rather stumped by his claims about “intuitive knowledge”. One worry is this: he introduces the notion in cases where we acquire propositional knowledge by, as it were, “just seeing” e.g. … Continue reading
Posted in This and that
4 Comments
Darwin Day!
There has just been a national petition started, supporting a proposal to make Charles Darwin’s birthday (12th February) a UK Bank Holiday. Well yes, let’s celebrate the great man — and just possibly send a signal marking some opposition to … Continue reading
Posted in This and that
Leave a comment
Fraser MacBride moving to Cambridge
Delighted to report that Fraser MacBride has accepted the offer of a job in the Cambridge philosophy faculty. A terrific outcome for our recent appointment process. And a real strengthening of philosophy of maths as well as metaphysics here (as … Continue reading
Posted in This and that
Leave a comment
Richter’s Schubert
Ok, ok — I know that, by now, it is a such a banal thing to say: but I’m still frequently bowled over by the quality of information that there is out there on the net, freely available, the result … Continue reading
Posted in This and that
Leave a comment
Parsons again
There’s now a version of my posts on the first five chapters of Parsons book: so the newly added pages are on Chapter 5 of his book, on “Intuition”. I found these sections unconvincing (when I didn’t find them baffling) … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Back to Parsons
Well, “blogging at a snail’s pace” is all well and good, but my posts about Parsons have recently ground to a complete halt. Sorry about that. Pressure of other things. But I’m back on the case, now with the pressure … Continue reading
Posted in Math. Thought and Its Objects
2 Comments
Reading Russell’s Introduction to Mathematical Logic
Gregory Landini is talking at our Logic Seminar next week about Frege and Russell on cardinal numbers. Since our students tend to know a lot more about Frege than Russell, we had a preparatory session on Russell last week, in … Continue reading
Posted in This and that
2 Comments
Why you should sometimes ask your local logicians …
What are we to make of this passage? Among the triumphs of set theory are Gödel’s Incompleteness Theorems and Paul Cohen’s proof of the independence of the Continuum Hypothesis. Gödel’s theorems in particular had a dramatic effect on philosophical perceptions … Continue reading
Posted in This and that
15 Comments
Yes we can … can’t we?
In 1997 — before I got the job back in Cambridge — I was travelling up and down to lecture: and I happened to be here the morning after the Blair victory. And, a bit bleary-eyed from a late night … Continue reading
Posted in This and that
5 Comments