El legado de Turing en la lógica matemática y los fundamentos de las matemáticas

• Autores: Joan Bagaria i Pigrau
• Localización: Arbor: Ciencia, pensamiento y cultura, ISSN 0210-1963, Nº 764, 2013
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • While Alan Turing is best known for his work on computer science and cryptography, his impact on the general theory of computable functions (recursion theory) and the foundations of mathematics is of equal importance. In this article we give a brief introduction to some of the ideas and problems arising from Turing�s work in these areas, such as the analysis of the structure of Turing degrees and the development of ordinal logics.

• Referencias bibliográficas
  • Church, A. (1936a). "An unsolvable problem of elementary number theory". Amer. J. of Math, 58 (2), pp. 345-363. http://dx.doi.org/10.2307/2371045
  • Church, A. (1936b). "A Note on the Entscheidungsproblem". The Journal of Symbolic logic, 1 (1), pp. 40-41. http://dx.doi.org/10.2307/2269326
  • Feferman, S. (1962). "Transfinite recursive progressions of transfinite theories". J. Symbolic Logic, 27, pp. 259-316. http://dx.doi.org/10.2307/2964649
  • Feferman, S. (2012). "Turing's Thesis". In Alan Turing's Systems of Logic. The Princeton Thesis. Edited by Andrew W. Appel....
  • Gödel, K. (1964). "Postscriptum". In Davis, M. (ed.), The Undecidable. New York: Raven, 1965.
  • Hilbert, D. (1925). "On the Infinite", English translation in J. van Heijenoort (Ed.), From Frege to Gödel. A Source Book in Mathematical...
  • Hilbert, D. (1928) "Die Grundlagen der Mathematik". Abhandlungen aus den mathematischen Seminar der Hamburgischen Universität 6. English...
  • Hilbert, D. and Ackermann, W. (1928). Grundzügen der theoretischen Logik. Springer-Verlag.
  • Hodges, A. (1983). Alan Turing, the Enigma. New York: Simon and Schuster Inc.
  • Turing, A. (1939). "Systems of Logic based on ordinals". Proc. London Math. Soc., (2), pp. 161-228. http://dx.doi.org/10.1112/plms/s2-45.1.161