Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne 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
- 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
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
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
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