Monthly Archives: May 2007

Church’s Thesis 3: Constructivism, informal proofs

The third, short, paper in the Olszewski collection is by Douglas S. Bridges — the author, with Fred Richman, of the terrific short book Varieties of Constructive Analysis. The book tells us a bit about what happens if you in … Continue reading

Posted in Logic | 1 Comment

Church’s Thesis 2: What’s an algorithm?

Andreas Blass and Yuri Gurevich’s paper “Algorithms: A Quest for Absolute Definitions” really covers too much too fast to be very satisfactory. The first part is a quick review of the separate histories of Church’s Thesis and Turing’s Thesis, followed … Continue reading

Posted in Logic | Leave a comment

Church’s Thesis 1: CTT, minds and supertasks

I mentioned a few posts ago the collection Church’s Thesis After 70 Years edited by Adam Olszewski et al. Since the editors helpfully refrain from suggesting a sensible reading order, I’m just going to dive in and read the contributed … Continue reading

Posted in Logic | 1 Comment

Interrupted categories

Well, the reading group which was slowly working through Goldblatt’s Topoi got about half-way through but has collectively decided that enough is enough! In retrospect I probably suggested the wrong thing to read — perhaps, after all, the much shorter … Continue reading

Posted in This and that | Leave a comment

Kleeneness is next to Gödelness

This is a pretty shameless trailer for my forthcoming book (which I confess I’m still fiddling with, since the final final version doesn’t have to with the Press for a week more). It’s fun and illuminating to show that the … Continue reading

Posted in Logic | Leave a comment

Wandering stars

Well, if James can link to a YouTube video, I guess I can! Hardly Shaun the Sheep, and perhaps not adding to the gaiety of nations in quite the same way …. but here’s a rare recent sighting of a … Continue reading

Posted in Music | 1 Comment

Kenodoxia

I’ve belatedly discovered another Cambridge blog, James Warren’s Kenodoxia (I’ve added a link alongside). It’s terrific, ranging from Xenophanes to Shaun the Sheep, via a sideswipe at Jane Austen. Not that I quite go along with his rating the latter … Continue reading

Posted in This and that | Leave a comment

Philosophical archeology

I’m having to try to sort out my philosophy library — I can’t start shelving yet another wall at home — and that’s a painful business. It’s not just that I’ve always had a rather self-indulgent book-buying habit and so … Continue reading

Posted in Academic life | Leave a comment

What are sets for?

Yiannis Moschovakis on p. 1 of his very useful Notes on Set Theory writes that one “basic property of sets” is that Every set A has elements or members. And then, on p. 2, he writes Somewhat peculiar is the … Continue reading

Posted in Logic | 1 Comment

Two books

Church’s Thesis After 70 Years edited by Adam Olszewski, Jan Wolenski and Robert Janusz looks as if it might be a very useful collection. The bad news is that the hard copy is a steep 129 Euros. But the good … Continue reading

Posted in Books | Leave a comment