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: May 2007
Hand engraved examination scripts
What strikes me as I wade through Part II tripos papers (well, the thing that strikes me that it wouldn’t be out of place to comment on, here and now) is that students are tending to write less than they … Continue reading
Posted in This and that
5 Comments
Church’s Thesis 7: Physical computability
As light relief from tripos marking, back to commenting on two more papers in the Olszewski collection: “Church’s Thesis and physical computation” by Hartmut Fitz, and “Did Church and Turing have a thesis about machines?” by Andrew Hodges. But I’ll … Continue reading
Tesco’s shows unexpected taste and discrimination
Wow. Tesco Entertainment is selling my Gödel book. Look for piles by the checkouts when publication arrives! I’m booking a world cruise on the expected sales right now. And on the same page they are advertising another ‘hot product’ (their … Continue reading
Posted in This and that
Leave a comment
At last, again …
At long last, the final final version of my Gödel book went to the publishers this afternoon. I’ve been taking advantage of a quite unexpected chance to make changes until the last moment — and I think that some that … Continue reading
Posted in This and that
Leave a comment
The Symposium
A couple of days ago in an Oxfam shop I picked up a second-hand copy of a beautiful parallel text of the Symposium, with a racy and highly readable translation by Tom Griffith and wonderfully evocative wood engravings by Peter … Continue reading
Posted in This and that
3 Comments
Church’s Thesis 6: Concepts, extensions, and proofs
Continuing my blogview of the papers in Church’s Thesis After 70 Years, I’ll skip the contribution by Hartmut Fitz to return to later, and next look at Janet Folina’s ‘Church’s Thesis and the variety of mathematical justifications’ because I’m interested … Continue reading
Posted in Logic
2 Comments
England in May
Often we think about going to live in Italy in a couple of years or so, but it would be a wrench not to see the wooded English countryside in May (we forgot to take the camera when walking last … Continue reading
Posted in This and that
Leave a comment
Church’s Thesis 5: Effective computability, machine computability
The sixth paper in the Olszewski collection is Jack Copeland’s “Turing Thesis”. Readers who know Copeland’s previous writings in this area won’t be surprised by the general line: but truth trumps novelty, and this is all done with great good … Continue reading
Posted in Logic
Leave a comment
Church’s Thesis 4: Computability by any means
The next paper is “The Church-Turing Thesis. A last vestige of a failed mathematical program” by Carol E. Cleland. Oh dear. This really is eminently skipable. The first five sections are a lightning (but not at all enlightening) tour through … Continue reading
Posted in Logic
Leave a comment
Paris 1967, Paris 2007
Well, time to turn to serious matters after such the logical diversions … No doubt you’ve all supported the campaign to absolve Paris Hilton from her prison sentence: after all, in the words of the petition, “She provides hope for … Continue reading
Posted in This and that
Leave a comment