Turing Alan M. Turing (1912 - 1954) 1936: On Computable Numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. (2) 42 pp 230-265,
