Gabor T. Herman, « A simple solution of the uniform halting problem », Journal of Symbolic Logic, vol. 34, , p. 639–640 (ISSN1943-5886, DOI10.2307/2270856, lire en ligne, consulté le )
doi.org
dx.doi.org
(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 (ISSN1460-244X, DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )
Gabor T. Herman, « A simple solution of the uniform halting problem », Journal of Symbolic Logic, vol. 34, , p. 639–640 (ISSN1943-5886, DOI10.2307/2270856, lire en ligne, consulté le )
issn.org
portal.issn.org
(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 (ISSN1460-244X, DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )
Gabor T. Herman, « A simple solution of the uniform halting problem », Journal of Symbolic Logic, vol. 34, , p. 639–640 (ISSN1943-5886, DOI10.2307/2270856, 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 (ISSN1460-244X, DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )