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

A. Rodriguez Peña

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.


Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.


Copyright (c) 2010 A. Rodriguez Peña

Licencia de Creative Commons
Este obra está bajo una licencia de Creative Commons Reconocimiento 4.0 Internacional.

BAJO PALABRA. Revista de Filosofía

ISSN versión electrónica: 1887-505X

ISSN versión impresa: 1576-3935