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: April 2007
Far from Moscow
There was a quite stunning performance of a non-philosophical sort here this week — Cheek by Jowl’s Russian-language (surtitled) production of Three Sisters which was simply out of this world. I won’t make a fool of myself trying to put … Continue reading
Posted in This and that
Leave a comment
Groups, and group blogs
For a few months — as displacement behaviour while I was supposed to be finishing my book — I got in the habit of visiting the newsgroup sci.logic quite often and trying to improve the signal-to-noise ratio. But there is … Continue reading
Posted in This and that
3 Comments
Issacson Day
My colleague Michael Potter organized a one-day workshop today focusing on issues arising out of Dan Isaacson’s paper, “Arithmetical truth and hidden higher-order concepts”, which appeared 20 years ago. It’s quite difficult to tease out the full content of Dan’s … Continue reading
Posted in Logic
Leave a comment
Paul Teller in Cambridge
Paul Teller is in Cambridge, and it is very good to see him. He gave a talk in HPS on “Provisional knowledge”. Here’s his abstract (there’s more on his website). Physics, and science generally, rarely function according to the mechanist … Continue reading
Posted in This and that
Leave a comment
Serendipitous Kreisel
abebooks.com is a wonderful thing — you can so often find cheap copies of in-print books that you want, and (often not-so-cheap) copies of out-of-print books as well. The trouble is that booksellers can of course use the site too … Continue reading
Posted in Logic
Leave a comment
Logical options
There’s an afternoon planned soon to review the Faculty’s teaching, so it will be a good occasion to rethink some of our current arrangements for logic teaching. At the moment this looks to me to be about the right pattern, … Continue reading
Posted in Logic
3 Comments
At long last …
I’ve just delivered the final version of my Gödel book to CUP (sent the PDF, taken round a print out). So that’s that, delayed a couple of months by family matters, though I hope the publication date won’t be much … Continue reading
Posted in This and that
1 Comment