  Turing himself did little to evangelise his formulation in the world of mathematical logic and early computer science. The textbooks of Davis (1958) and Minsky (1967) did more. Nowadays Turing computability is often reformulated (e.g. in terms of ‘register machines’). However, computer simulations (e.g.,   -->Turing's World -->,  from Stanford) have brought Turing's original imagery to life.