Donald Hobson comments on What is the evidence on the Church-Turing Thesis?