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

Por • 28 abr, 2016 • Sección: Leyes

Joan 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

Texto completo: HTML PDF XML

Arbor, Vol 189, No 764 (2013)

doi:10.3989/arbor.2013.764n6002

http://arbor.revistas.csic.es/index.php/arbor/article/view/1881

Post to Twitter

Escribe un comentario