1 On Alan Turing and the Origins of Digital Computers B. Randell