« L'héritage d’Alan Turing », CNRS Le journal, , p. 9-10 (lire en ligne [PDF]).
doi.org
dx.doi.org
(en) Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem : Proceedings of the London Mathematical Society, London Mathematical Society, (DOI10.1112/PLMS/S2-42.1.230, lire en ligne) et « [idem] : A Correction », Proc. London Math. Soc., 2e série, vol. 43, , p. 544-546 (DOI10.1112/plms/s2-43.6.544, lire en ligne).
Olivier Hudry, « Machine de Turing et complexité algorithmique », dans Michel Serfati (dir.), De la méthode : recherches en histoire et philosophie des mathématiques, PUFC, coll. « Colloques et séminaires », (ISBN2-8486-7000-2, lire en ligne), p. 178.
Alonzo Church, « On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. TuringReview », The Journal of Symbolic Logic, vol. 2, no 1, mar., 1937, p. 42-43 (lire en ligne).
Brian Randell, On Alan Turing and the Origins of Digital Computers, vol. 33, Computing Laboratory, University of Newcastle upon Tyne, (lire en ligne), publié comme Brian Randell, « On Alan Turing and the Origins of Digital Computers », Machine Intelligence, Edinburgh University Press, vol. 7, , p. 3–20.
(en) Rachel Hassall, « The Sherborne Formula : The Making of Alan Turing », Vivat!, Sherborne School, , p. 4 et 5 (lire en ligne [PDF]).
ort.edu.uy
fi.ort.edu.uy
(en) A. M. Turing, « Checking a Large Routine », dans Report of a Conference on High Speed Automatic Calculating Machines, Univ. Math. Lab., Cambridge, p. 67-69 (1949) in Morris, F. L. et C. B. Jones, « An Early Program Proof by Alan Turing », Ann. Hist. Comp., vol. 6, no 2, , p. 139-143 (lire en ligne).
proquest.com
William F. Aspray Jr, From mathematical constructivity to Computer Science : Alan Turing, John von Neumann and the origin of computer science in mathematical logic, The University of Wisconsin, coll. « PhD », (lire en ligne).
(en) Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem : Proceedings of the London Mathematical Society, London Mathematical Society, (DOI10.1112/PLMS/S2-42.1.230, lire en ligne) et « [idem] : A Correction », Proc. London Math. Soc., 2e série, vol. 43, , p. 544-546 (DOI10.1112/plms/s2-43.6.544, lire en ligne).
(en) Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem : Proceedings of the London Mathematical Society, London Mathematical Society, (DOI10.1112/PLMS/S2-42.1.230, lire en ligne) et « [idem] : A Correction », Proc. London Math. Soc., 2e série, vol. 43, , p. 544-546 (DOI10.1112/plms/s2-43.6.544, lire en ligne).
web.archive.org
(en) Christian Caryl, « Poor Imitation of Alan Turing », New York Review of Books, (lire en ligne).