Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
Blogroll
Tweets @PeterSmith
- “@changingspaces_: http://t.co/S6hYoL4l the Hunt & Darton cafe where the cafe is the work of art” But will the macchiato be any good? Posted 2 days ago
- Pudsey (dancing dog) wins £500,000, & is all over the papers. Brilliant Laura van der Heijden wins £2000, zero press. Such is Britain 2012. Posted 3 days ago
- #bbcyoungmusician final was astonishing, the winner beyond belief. Where are the online reviews/comments in Grauniad, Indy, Telegraph??? Posted 3 days ago
Monthly Archives: July 2007
Absolute Generality 2: Showing and saying
Suppose I think that there is something problematic about absolutely general quantification. So I try to say “You can’t quantify over absolutely everything”. But either that “everything” is absolutely general, and I’ve illustrated how you can quantify over absolutely everything … Continue reading
Posted in Logic
9 Comments
Me and J.K. Rowling
Good heavens! Amazon UK reports the Gödel book this morning as 3,069 in the sales ranking. That makes me and J.K. Rowling, who lives permanently at number 1, practically neighbours. I’m preparing myself for the inevitable change of life-style. Googling … Continue reading
Posted in This and that
Leave a comment
Isaacson again
Hooray! A version of my talk at the Isaacson day we had in Cambridge a couple of months ago has been accepted by Analysis, and will appear in January. Michael Clark has kindly agreed to publish it as a preprint … Continue reading
Posted in This and that
Leave a comment
Absolute Generality 1: Kit Fine and the All in One Principle
OK, time to make a start on blogviewing Absolute Generality, edited by Augustín Rayo and Gabriel Uzquiano (OUP, 2006). As in the Church’s Thesis volume, the editors take the easy line of printing the papers in alphabetical order by the … Continue reading
Posted in Logic
2 Comments
Gödel mangled
Here is E. T. Jaynes writing in Probability Theory: The Logic of Science (CUP, 2003). A famous theorem of Kurt Gödel (1931) states that no mathematical system can provide a proof of its own consistency. … To understand the above … Continue reading
Posted in Logic
6 Comments
Hurry, hurry, while stocks last …
A knock on my office door an hour ago, and the porter brought in two boxes, with half a dozen pre-publication copies each of the hardback and the paperback of my Gödel book. It looks terrific. Even though I did … Continue reading
Posted in Books
Leave a comment