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.
Volltext im Netz [ ] [deutsch ]
In diesem Aufsatz beschreibt A. Turing den Formalismus, der später von A. Church als Turing-Maschine bezeichnet wurde.