Over at Logic Matters, Peter Smith has been doing a series of posts on a collection of articles on the Church-Turing thesis. The series has been informative and entertaining even though the collectoin seems to be pretty weak. Maybe it is partly because the collection is weak that the series has been good. Seeing what goes wrong in the articles is somewhat illuminating. Anyway. The newest post, on two articles, has a fantastic line:
“Horsten’s own discussion seems thoroughly inconclusive too. So I fear that this looks to be an exercise in pretend precision where nothing very useful is going on.”
The post, series, and blog are all worth reading. [Addition: Peter Smith is the kind soul who put together the LaTeX for Logicians website.] [edit: I changed the title because I realized it didn’t make sense in this context]