Resumen

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.

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.