Dave Moore comments on What is the evidence on the Church-Turing Thesis?