Núm. 5 (2010)
Lógica, Filosofía de la Ciencia y del Lenguaje

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

Publicado febrero 18, 2016

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. 

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.