Antony Galton The Church-Turing thesis: Still valid after all these years? 93-102 2006 178 Applied Mathematics and Computation 1 http://dx.doi.org/10.1016/j.amc.2005.09.086 db/journals/amc/amc178.html#Galton06