Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. In: Proceedings of the London Mathematical Society. Band s2-43, Nr.1, 1938, S.544–546, doi:10.1112/plms/s2-42.1.230 (englisch, dna.caltech.edu [PDF]).
Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Band s2-42, Nr.1, 1937, S.230–265, doi:10.1112/plms/s2-42.1.230 (englisch, cs.virginia.edu [PDF]).
Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. In: Proceedings of the London Mathematical Society. Band s2-43, Nr.1, 1938, S.544–546, doi:10.1112/plms/s2-42.1.230 (englisch, dna.caltech.edu [PDF]).
Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Band s2-42, Nr.1, 1937, S.230–265, doi:10.1112/plms/s2-42.1.230 (englisch, cs.virginia.edu [PDF]).