Monthly Archives: June 2007

Forthcoming attractions …

Well, having perhaps rather foolishly said I was thinking about blogging on the Absolute Generality collection edited by Agustin Rayo and Gabriel Uzquiano, I’ve been asked to review it for the Bulletin of Symbolic Logic. So that decides the matter: … Continue reading

Posted in Books | 1 Comment

Church’s Thesis 15: Three last papers

The next paper in the Olszewski collection is Wilfried Sieg’s “Step by recursive step: Church’s analysis of effective computability”. And if that title seems familiar, that’s because the paper was first published ten years(!) ago in the Bulletin of Symbolic … Continue reading

Posted in Logic | Leave a comment

Church’s Thesis 14: Open texture and computability

Back at last to my blogview of the papers in Church’s Thesis After 70 Years (new readers can start here!) — and we’ve reached a very nice paper by Stewart Shapiro, “Computability, Proof, and Open-Texture”, written with his characteristic clarity … Continue reading

Posted in Logic | Leave a comment

Normal service will be soon resumed …

The last tripos meeting today, and as always justice was of course done. I wish. (Oh, roll on the day when we stop having to place students in artificially bounded classes — first, upper second, etc. — and just rank-order … Continue reading

Posted in This and that | Leave a comment

It’s tough being a philosophy student …

The last tripos scripts marked! And by happy chance, the answers I marked today were among the best of the season, and cheered me up a lot. (I’m Chair of the Examining Board for Parts IB and II this year … Continue reading

Posted in This and that | Leave a comment

Quackery and the philosophy of science

I’ve just added a link to Prof. David Colquhoun’s blog on quackery, now renamed Improbable Science (after a bit of a legal kerfuffle, recounted in today’s Guardian). Great stuff. And indeed, there are some really terrific internet resources out there, … Continue reading

Posted in This and that | 2 Comments

Church’s Thesis 13: Gödel on Turing

Phew! At last, I can warmly recommend another paper in Church’s Thesis after 70 Years … Although initially Gödel was hesitant, by about 1938 he is praising Turing’s work as establishing the “correct definition” of computability. Yet in 1972 he … Continue reading

Posted in Logic | Leave a comment

Church’s Thesis 12: Kreisel, Church

I’m going to pass over the next three papers in the Olszewski collection pretty quickly, for various reasons. First, there’s a piece on “Analog computation and Church’s Thesis” by Jerzy Mycka: I just don’t know anything about this stuff, and … Continue reading

Posted in Logic | Leave a comment

Diversions: Stripes, Bach, cats and soup

The hundreds — nay, countless thousands — who regularly look at this blog for its sheer entertainment value may be feeling just a bit short changed, what with all those heavy duty posts on Church’s Thesis interspersed with moans about … Continue reading

Posted in This and that | Leave a comment

Church’s Thesis 11: Its status, once more

As you can imagine, it is going to be pretty difficult, by this stage in the game, to say something both novel and illuminating about ‘The status of Church’s Thesis’. And certainly, Roman Murawski and Jan Wolenski don’t really succeed … Continue reading

Posted in Logic | Leave a comment