Alonzo Church, « An Unsolvable Problem of Elementary Number Theory », American Journal of Mathematics, vol. 58, no 2, , p. 345–363 (ISSN0002-9327, DOI10.2307/2371045, lire en ligne, consulté le ).
Alonzo Church, « A Set of Postulates for the Foundation of Logic », Annals of Mathematics, vol. 33, no 2, , p. 346–366 (ISSN0003-486X, DOI10.2307/1968337, lire en ligne, consulté le )
(en) A. M. Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, vol. s2-42, no 1, , p. 230–265 (DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )
(en) Ellwood Count Curtis, The descendants of Josiah Churchill (c. 1615-1686) and Elizabeth Foote (1616-1700), vol. 4, L'Université du Wisconsin - Madison, Galactic Press, (présentation en ligne), p. 1880.
(en) Peter J. Bentley, Digitized : The Science of Computers and how it Shapes Our World, Oxford, OUP Oxford, , 298 p. (ISBN978-0-19-969379-5 et 0-19-969379-X, lire en ligne), p. 24-26,45,50,88.
issn.org
portal.issn.org
Alonzo Church, « An Unsolvable Problem of Elementary Number Theory », American Journal of Mathematics, vol. 58, no 2, , p. 345–363 (ISSN0002-9327, DOI10.2307/2371045, lire en ligne, consulté le ).
Alonzo Church, « A Set of Postulates for the Foundation of Logic », Annals of Mathematics, vol. 33, no 2, , p. 346–366 (ISSN0003-486X, DOI10.2307/1968337, lire en ligne, consulté le )
jstor.org
(en) Alonzo Church, The American Mathematical Monthly : Uniqueness of the Lorentz Transformation, vol. 31 (no 8), , 410 p. (présentation en ligne), p. 376-382.
H. B. Enderton, « In memoriam: Alonzo Church 1903–1995 », The Bulletin of Symbolic Logic, vol. 1, no 4, , p. 488. (présentation en ligne)
Alonzo Church, « An Unsolvable Problem of Elementary Number Theory », American Journal of Mathematics, vol. 58, no 2, , p. 345–363 (ISSN0002-9327, DOI10.2307/2371045, lire en ligne, consulté le ).
Alonzo Church, « A Set of Postulates for the Foundation of Logic », Annals of Mathematics, vol. 33, no 2, , p. 346–366 (ISSN0003-486X, DOI10.2307/1968337, lire en ligne, consulté le )
(en) A. M. Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, vol. s2-42, no 1, , p. 230–265 (DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )