Alan M. Turing: ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM, Originally published by the London Mathematical Society in Proceedings of the London Mathematical Society, Series 2, Vol.42 (1936 - 37) pages 230 to 265, with corrections from Proceedings of the London Mathematical Society, Series 2, Vol.43 (1937) pages 544 to 546.
In diesem Aufsatz führte Turing beschreibt den Formalismus, der später von A. Church als Turing-Maschine bezeichnet wurde.