El legado de Turing en la lógica matemática y los fundamentos de las matemáticas
Por Camilo Arcaya • 28 abr, 2016 • Sección: LeyesJoan Bagaria
Resumen. 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.
Palabras Clave: Alan Turing; Fundamentos de la matemática
Arbor, Vol 189, No 764 (2013)
doi:10.3989/arbor.2013.764n6002
http://arbor.revistas.csic.es/index.php/arbor/article/view/1881