El teorema matemático que ha fascinado más allá de las ciencias exactas. El teorema de incompletitud de Gödel es uno de los resultados más profundos y paradójicos de la lógica matemática. Es también, quizá, el teorema que ha ejercido más fascinación en ámbitos alejados de las ciencias exactas. Autores como Lacan, Kristeva, Deleuze, Lyotard, Debray, y muchos otros han invocado a Gödel y sus teoremas en arriesgadas analogías. Junto con otras palabras mágicas de la escena posmoderna como «caos», «indeterminación », «aleatoriedad», el fenómeno de incompletitud se ha asociado también a supuestas derrotas de la razón y al fi n de la certidumbre en el terreno más exclusivo del pensamiento: el reino de las fórmulas exactas.
El objeto del libro, el teorema de Gödel, que surgió de manera sigilosa a la par de la Teoría de la Relatividad de Einstein, es una referencia ineludible del pensamiento contemporáneo. Es una obra de divulgación a cargo de dos expertos.

Introducción.
PRIMERA PARTE
1. Un panorama general.
2. Hilbert y el problema de los fundamentos.
3. El lenguaje para la aritmética y la defición de verdad.
4. El teorema de Gödel fuera de la matemática.
SEGUNDA PARTE
Hoja de ruta. La concatenación y el Teorema de Incompletitud.
5. La versión semántica del Teorema de Inclompletitud.
6. La versión general (sintáctica) del Teorema de Incompletitud. El Teorema de Consistencia.
7. Hay una concatenación expresable en la aritmética.
8. Toda propiedad recursiva es expresable con la concatenación.
TERCERA PARTE
Incompletitud en un contexto general y abstracto.
9. Incompletitud en un contexto general y abstracto.
Apéndice I. Ejemplos de teorías completas e incompletas.
Apéndice II. Apéndice histórico: Hitos en la historia del Teorema de Incompletitud.
Apéndice III. Kurt Gödel, el señor Por Qué.
Cronología de la vida de Gödel.
Referencias bibliográficas.
Lecturas recomendadas.
Índice onomástico.
Índice de términos.