Kurt Gödel: el límite lógico de la Modernidad

Abstract

El proyecto formalista ideado por Hilbert es deudor de un filósofo que podemos considerar como el padre fundador de la modernidad: Descartes. En este escrito se buscará interpretar el teorema de limitación de Kurt Gödel, que muestra la imposibilidad de dicho proyecto, como una crítica a la modernidad. Palabras clave: Prueba de Gödel, Proyecto formalista, Crítica a la Modernidad.Abstract:The formalist project devised by Hilbert is indebted to a philosopher that we can consider as the founding father of modernity: Descartes. In this paper I suggest to interpret the restriction theorem of Kurt Gödel, which shows the impossibility of this project as a critique of modernity. Keywords: Gödel's proof, Formalist project, Critique of Modernity.