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: November 2008
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
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