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

Posted in Logic | 1 Comment

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