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

Abstract

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.

Keywords

• alan turing
• fundamentos de la matemática