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.
Monthly Archives: September 2006
Indexing woes
Indexing a book is no fun. None at all. Yet it can be so annoying when a book has a perfunctory index that I feel compelled to try to do the job decently. You can only work on so many … Continue reading
Posted in This and that
1 Comment
Coffee Time in Memphis
Passing the CUP bookshop, I couldn’t resist picking up a copy of Béla Bollobás’ brand new The Art of Mathematics: Coffee Time in Memphis – no less than 157 mathematical problems and their solutions, problems (he says) of the kind … Continue reading
Posted in This and that
Leave a comment
Passing it on
I’ve just put another full draft of the Gödel book online. There’s an amount of work still to be done (in particular, I’ve yet to take account of some comments I’ve had on the last chapter); but things are progressing … Continue reading
Posted in This and that
Leave a comment
And another update
A revised version of Chapters 1 to 26 is now on-line. Next, the two chapters which probably need the most work/thought, so off to the Moore library again to minimize distractions.
Posted in This and that
Leave a comment
Another Gödel update
I’ve been wrestling with that loose and baggy chapter which needed carving into two. Annoying that what should have been a simple task took so long, but I think I’ve cracked it. So the latest version of what are now … Continue reading
Posted in This and that
Leave a comment