Resumen de El legado de Turing en la lógica matemática y los fundamentos de las matemáticas
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.
