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
Cómo citar
Rodriguez Peña, A. (2016). Kurt Gödel: el límite lógico de la Modernidad. Bajo Palabra, (5). Recuperado a partir de https://revistas.uam.es/bajopalabra/article/view/3477

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.

Descargas

Los datos de descargas todavía no están disponibles.