El legado de Turing en la lógica matemática y los fundamentos de las matemáticas
DOI:
https://doi.org/10.3989/arbor.2013.764n6002Palabras clave:
Alan Turing, Fundamentos de la matemáticaResumen
Alan Turing es conocido sobre todo por sus contribuciones a las ciencias de la computación y a la criptografía, pero el impacto de su trabajo en la teoría general de las funciones computables (teoría de la recursión) y en los fundamentos de la matemática es de igual importancia. En este artículo damos una breve introducción a algunas de las ideas y problemas matemáticos surgidos de la obra de Turing en estas áreas, como el análisis de la estructura de los grados de Turing y el desarrollo de las lógicas ordinales.
Descargas
Citas
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. Princeton University Press.
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 Logic, 1879-1931. Harvard University Press, 1967.
Hilbert, D. (1928) "Die Grundlagen der Mathematik". Abhandlungen aus den mathematischen Seminar der Hamburgischen Universität 6. English translation in J. van Heijenoort (ed.), From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, 1967.
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
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2013 Consejo Superior de Investigaciones Científicas (CSIC)
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
© CSIC. Los originales publicados en las ediciones impresa y electrónica de esta Revista son propiedad del Consejo Superior de Investigaciones Científicas, siendo necesario citar la procedencia en cualquier reproducción parcial o total.Salvo indicación contraria, todos los contenidos de la edición electrónica se distribuyen bajo una licencia de uso y distribución “Creative Commons Reconocimiento 4.0 Internacional ” (CC BY 4.0). Puede consultar desde aquí la versión informativa y el texto legal de la licencia. Esta circunstancia ha de hacerse constar expresamente de esta forma cuando sea necesario.
No se autoriza el depósito en repositorios, páginas web personales o similares de cualquier otra versión distinta a la publicada por el editor.
