Seix Barral 2009 | 262 págs.
INTRODUCCIÓN / INTRODUCTION
Pero a diferencia de la teoría de Einstein, en que por la sofisticación de las ecuaciones los mejores intentos de divulgación parecen condenados a ejemplos con relojes y personas que no envejecen en viajes por el espacio -la clase de divulgación que arrancó la conocida broma de Sabato[1]-, en el caso del teorema de incompletitud hay una buena noticia, y es que puede darse una exposición a la vez rigurosa y accesible, que no requiere ninguna formación matemática, más que el recuerdo de la suma y la multiplicación tal como se enseñan en la escuela primaria.
Eso es exactamente lo que nos propusimos hacer en este libro: una exposición detallada, pero de extrema suavidad, totalmente autocontenida, que permita a las personas de cualquier disciplina que sólo tengan la imprescindible “curiosidad de espíritu” aventurarse a la experiencia de conocer en profundidad una de las hazañas intelectuales más extraordinarias de nuestra época.
Pensamos y concebimos Gödel 
(para todos) como un juego por etapas, con la esperanza de que los lectores se desafíen a sí mismos a pulsar enter al final de cada capítulo para pasar al próximo nivel. El juego empieza realmente desde cero y gran parte de nuestro esfuerzo fue intentar la mayor claridad posible en cada una de estas etapas para que, idealmente, cada lector pueda llegar tan lejos como se proponga.
Una palabra sobre el título: cada vez que se agrega “para todos” al título de libros de divulgación (y mucho más cuando el libro se refiere a cuestiones o autores considerados “difíciles”) se sobreentiende que el “para todos” es en realidad un eufemismo entre condescendiente y piadoso, que oculta al verdadero “para los que no saben nada de nada”. No es el caso de este libro. Cuando decimos “para todos” nos referimos más bien al verdadero significado que tiene la expresión, en todo su alcance. Nuestro libro está dirigido no sólo a los que “no saben nada de nada”, sino también a los lectores que hayan leído sobre el teorema de Gödel en exposiciones parciales, y aún a los que hayan estudiado los teoremas de Gödel y sus demostraciones en profundidad. Porque si bien nuestro libro empieza de cero, llega mucho más allá de lo que se han propuesto las divulgaciones más conocidas en lengua castellana. En particular damos una demostración rigurosa y con todos los detalles de los teoremas, aunque en una aproximación diferente de la más habitual, novedosa por su sencillez, en la que utilizamos la mínima cantidad posible de tecnicismos matemáticos. Hemos incluido también un último capítulo con una investigación propia del fenómeno de incompletitud en un contexto general y problemas abiertos, para mostrar la prolongación que tienen estas ideas y las preguntas que los teoremas de Gödel, todavía hoy, siguen suscitando.
El material está organizado de la siguiente manera:
- En el primer capítulo damos un panorama general, y una primera aproximación informal, tanto de los enunciados de los teoremas de Gödel como de algunas derivaciones filosóficas.
- En el capítulo 2 exponemos el contexto histórico y el estado de la discusión en los fundamentos de la matemática en el momento en que irrumpen los resultados de Gödel. Al final del capítulo incluimos una sección sobre las tergiversaciones y errores más frecuentes en torno a la divulgación de los enunciados.
- En el capítulo 3 introducimos el lenguaje formal necesario para enunciar los teoremas con toda la exactitud necesaria, y abrir paso a las demostraciones.
Los tres capítulos terminan aparentemente de la misma manera, con el enunciado de los teoremas de Gödel. Pero nuestra intención y esperanza es que se lean, cada vez, con una comprensión más profunda, y con el nuevo sentido y la mayor precisión que se incorpora en cada etapa.
- En el capítulo 4 exponemos algunas analogías e intentos de aplicación del teorema de Gödel en distintas disciplinas sociales, fuera de la matemática. En particular analizamos textos de Julia Kristeva, Paul Virilio, Régis Debray, Gilles Deleuze y Félix Guattari, Jacques Lacan, y Jean-Francois Lyotard.
Esto concluye la primera parte.
La segunda parte está dedicada a la demostración de los teoremas. La prueba que damos tiene, creemos, la mínima cantidad posible de tecnicismos matemáticos. Mostramos, esencialmente, que toda la argumentación de Gödel puede desarrollarse a partir de un único hecho matemático: la existencia en la aritmética de una operación que refleja la manera en que las letras de un lenguaje se yuxtaponen unas a continuación de las otras para formar palabras.
La tercera parte, finalmente, está dedicada a una exploración propia sobre el fenómeno de incompletitud en un contexto más general y abstracto. Nos preguntamos cuál es hecho matemático que puede rastrearse en otros objetos, y que “divide aguas” entre teorías completas e incompletas.
Casi todos los capítulos incluyen al final una sección de ejercicios. Después de algunas dudas decidimos agregar también la resolución. Esperamos que esto sea un estímulo adicional para pensar primero “sin ayuda” una solución propia y sólo después comparar con la que proponemos en cada caso.
El libro se completa con dos apéndices: el primero, para consulta durante la lectura, reúne una variedad de teorías que sirven de ejemplo o contraejemplo a distintas afirmaciones. El segundo es una selección de textos de los propios protagonistas –Cantor, Russell, Hilbert, etc- sobre los hitos principales del fenómeno de incompletitud, que dan en conjunto una pequeña historia del tema.
Hemos dejado en el último capítulo preguntas abiertas y quizá algunos lectores se propongan también el desafío de responderlas. Otros lectores, tal vez, quieran hacernos llegar sugerencias o críticas sobre distintos puntos de nuestra exposición, o señalarnos errores que se nos hayan deslizado. Decidimos por eso abrir un blog para recibir comentarios:
www.godelparatodos.blogspot.com
Pondremos allí también en forma completa algunos de los textos citados que debimos resumir para el formato libro, y también distintos artículos de la bibliografía que nos resultaron particularmente interesantes.
Queremos finalmente agradecer a Xavier Caicedo por varias conversaciones y explicaciones esclarecedoras sobre puntos delicados de la teoría y también la lectura final generosa y atenta de Pablo Coll.
[1] N. del. E.: se refieren al ensayo “Divulgación” de Uno y el universo (1945). Sabato intenta explicar a un amigo la teoría de Einstein y le habla con entusiasmo de tensores y geodésicas. El amigo no entiende una palabra. Sabato hace un segundo intento con menos entusiasmo: conserva todavía algunas geodésicas pero hace intervenir aviadores y disparos de revólver. El amigo, con alegría, le dice que empieza a entender. Sabato se dedica entonces exclusivamente a jefes de estación que disparan revólveres y verifican tiempos con un cronómetro, trenes y campanas. ¡Ahora sí entiendo la relatividad! exclama el amigo. Sí, responde Sabato amargamente, pero ahora no es más la relatividad.
INTRODUCTION
Gödel’s Incompleteness Theorem is one of mathematical logic’s most profound and paradoxical results. It is also perhaps the theorem which has been of most interest in areas far removed from the exact sciences. It has been cited in disciplines as diverse as semiotics, psychoanalysis, philosophy, and the political sciences. Authors such as Kristeva, Lacan, Debray, Deleuze, and Lyotard, to name just a few, have invoked the name of Gödel and his Incompleteness Theorem in daring analogies. Alongside other buzzwords from the postmodern period, words such as “chaos”, “fractal”, “indeterminism” and “randomness”, the phenomenon of incompleteness has also been associated with alleged defeats of reason and the end of certainty in the most exclusive domain of human thought: the kingdom of exact formulas. Gödel’s theorem also crops up in heated epistemological controversies within the world of science itself, such as in the discussions on artificial intelligence. Appearing with a ubiquity which rivals the Theory of Relativity, and in a stealthier manner, Gödel’s theorem has become a cornerstone and unavoidable reference point of contemporary thought.
However, while the sophistication of the equations in Einstein’s theory means even the best attempts to make it accessible are confined to examples with clocks and people who do not age in journeys through space, in the case of Gödel’s Incompleteness Theorem there is good news: it is possible to provide a rigorous and accessible explanation without any prior mathematical knowledge beyond addition and multiplication, as taught at school.
Indeed, this is precisely what we have set out to do in this book: to provide an explanation that is at once detailed whilst being simple and self-contained, one which allows people from all disciplines, armed only with an indispensible “spirit of curiosity” to challenge themselves to experience in depth one of the most extraordinary intellectual feats of our time.
Gödel (for all) was conceived as a game with multiple stages in the hope that our readers would challenge themselves to press enter at the end of each chapter and continue to the next level. The game really does start from zero, and a large part of our efforts were spent trying to make each of the stages as clear as possible, ideally allowing the reader to reach as far as they wish.
A word regarding the book’s title: when the suffix “for all” is added to the title of books which explain a subject—and even more so when the book deals with questions or authors regarded as “difficult”— it is implied that the “for all” is really just a euphemistic way of saying, somewhere in between condescension and compassion, that it is indeed written for people “who don’t know anything”. This is not the case with this book: when we use the term “for all”, we are talking, rather, about the true meaning of the expression, with all its implications. We haven’t just written this book for people “who know don’t know anything”, but also for readers who have already read partial explanations of Gödel’s theorem, and even those who have studied his theorems and their proofs in some detail. Even if our book does start from zero, it goes much further than some of the best known attempts to make the theory accessible. In particular, we provide a rigorous proof with the complete details of all the theorems, making use of an approach that varies slightly from the norm, one that is novel on account of its simplicity and in which the use of technical mathematical jargon is kept to a bare minimum. We have also included a final chapter with our own investigation of the phenomenon of incompleteness in a general context, and a discussion of problems which remain unsolved in order to show the longevity of the ideas and questions which Gödel’s thought continues to provoke.
The material has been organized along the following lines:
- In the first chapter, we provide a general overview and a first, informal approximation both of the statements of Gödel’s theorems and some of their philosophical applications.
- In chapter 2, we describe the historical context and the state of the debate surrounding the foundations of mathematics at the time in which Gödel’s idea came forth. The chapter concludes by discussing some of the most frequent distortions and errors when explaining the statements.
- In chapter 3, we introduce the formal language required to state the theorems with all the required precision, and pave the way for the proofs.
Each of the three chapters seems to conclude in the same way: by stating Gödel’s theorems. However, our intention and hope is that they are read each time with a deeper understanding and with the new meaning and greater precision we incorporate at each stage.
- In chapter 4, we introduce some analogies and attempts that have been made in a number of social sciences to apply Gödel’s theorem in areas which lie beyond mathematics. In particular we consider texts by Julia Kristeva, Paul Virilio, Régis Debray, Gilles Deleuze, Félix Guattari, Jacques Lacan, and Jean-Françios Lyotard.
This concludes the first part of the book.
The second part is dedicated to the proofs of the theorems. We believe our proof makes the least possible use of technical mathematical jargon. Essentially, we show that all Gödel’s arguments can be developed from just one mathematical fact: the existence in arithmetic of an operation which reflects the way in which the letters of a language are juxtaposed one after the other to make up words.
The third and final part of the book is dedicated to our own exploration of the phenomenon of incompleteness in a more general and abstract context. We ask what mathematical fact can be found reflected in other objects and which property draws the boundary between complete and incomplete theories.
A selection of exercises is included at the end of most of the chapters and, in spite of some initial doubts, we also decided to include the solutions. We hope the exercises will provide the reader with an additional stimulus, firstly trying to come up with their own solution “without help”, and then comparing it with the one we have proposed in each case.
The book is completed by three appendices: the first is to be consulted while reading and brings together a variety of theories which serve as examples and counterexamples to various assertions. The second is a selection of texts written by the protagonists themselves, such as Cantor, Russell and Hilbert, on key milestones in phenomenon of incompleteness, and when read together, these make up a small history on the subject. The third is a brief biography of Kurt Gödel with a chronology of his life.
In the final chapter, we have left the reader with some of the unsolved problems, and perhaps some readers will also set themselves the challenge of solving them. Others may wish to make suggestions or criticisms about different parts of our explanation, or point out any mistakes which might have slipped past us. For this reason, we have set up a blog in order to receive your comments:
www.godelparatodos.blogspot.com
We will also publish there, in their complete form, some of the texts that had to be summarized to fit the format of this book, as well as various articles from the bibliography which we have found particularly interesting.
Finally, we would like to thank Xavier Caicedo for various conversations and explanations which helped clarify the more delicate points of the theorem and also the generous and attentive final reading of the book by Pablo Coll.