Volver a los detalles del artículo El legado de Turing en la lógica matemática y los fundamentos de las matemáticas