by Rolf Herken
"On Computable Numbers, with an Application to the Entscheidungsproblem", Alan Turing's paper of 1937, contained his thesis that every effective computation can be programmed on such an automation…