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 Mathematical Thought: Sec. 50, Induction and impredicativity, continued
Suppose we help ourselves to the notion of a finite set, and say x is a number if (i) there is at least one finite set which contains x and if it contains Sy contains y, and (ii) every such … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Parsons’s Mathematical Thought: Sec. 50, Induction and impredicativity
Here’s the first half of an improved(?!?) discussion of this section: sorry about the delay! Parsons now takes up another topic that he has written about influentially before, namely impredicativity. He describes his own earlier claim like this: “no explanation … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Welcoming Aatu to the blogosphere
It is very good indeed to see that Aatu Koskensilta has started a blog. Ignore the self-deprecating ‘About Me’: as long time readers of the newsnet group sci.logic will know, Aatu is a fount of very considerable technical knowledge combined … Continue reading
Posted in This and that
5 Comments
Sitting in the UL tearoom …
Actually, I fib: I’m not in the University Library tearoom right now — I meant to post from there, but I got talking to one of our grad students (about Parsons on impredicativity, what else?), and the opportunity passed. But … Continue reading
Posted in Books
2 Comments