Marzo de 2010, Nmero 21, pginas 197-198 ISSN: 1815-0640

Gdel (para todos) GuillermoMartnez y Gustavo Pieiro. Editorial: Seix Barral. Ao: 2009. ISBN: 9789507316050

El teorema de incompletitud de Gdel es uno de los resultados ms paradjicos de la lgica matemtica y posiblemente sea el que ms ha fascinado ms all de las ciencias exactas, ya que autores como Lacan, Kristeva, Deleuze, Lyotard, Debray, y muchos otros han invocado a Gdel y sus teoremas en diversas analogas. Este teorema surge a la par de la Teora de la Relatividad de Einstein y es una referencia ineludible del pensamiento contemporneo. Con la finalidad que este libro sea accesible a un pblico que quizs no tenga formacin matemtica, Guillermo Martnez y Gustavo Pieiro han realizado una exposicin clara y entendible, a pesar de ser muy rigurosa, es notable que personas de otras disciplinas puedan aventurarse a la experiencia de conocer en profundidad este tema, pues empieza de cero pero va mucho ms all de lo que se puede encontrar en otras divulgaciones de lengua castellana. Dicen sus autores: Una palabra sobre el ttulo: cada vez que se agrega para todos al ttulo de libros de divulgacin (y mucho ms cuando el libro se refiere a cuestiones o autores considerados difciles) 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 ms bien al verdadero significado que tiene la expresin, en todo su alcance. Nuestro libro est dirigido no slo a los que no saben nada de nada, sino tambin a los lectores que hayan ledo sobre el teorema de Gdel en exposiciones parciales, y an a los que hayan estudiado los teoremas de Gdel y sus demostraciones en profundidad. Porque si bien nuestro libro empieza de cero, llega mucho ms all de lo que se han propuesto las divulgaciones ms conocidas en lengua castellana. En particular damos una demostracin rigurosa y con todos los detalles de los teoremas, aunque en una aproximacin diferente de la ms habitual, novedosa por su sencillez, en la que utilizamos la mnima cantidad posible de tecnicismos matemticos. Hemos incluido

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA MARZO DE 2010 - NMERO 21 - PGINA 197

Gdel (para todos).

Guillermo Martnez y Gustavo Pieiro

tambin un ltimo captulo con una investigacin propia del fenmeno de incompletitud en un contexto general y problemas abiertos, para mostrar la prolongacin que tienen estas ideas y las preguntas que los teoremas de Gdel, todava hoy, siguen suscitando. El libro tiene la siguiente organizacin:
La primera parte est compuesta por cuatro captulos, en el primero se da un

panorama general y una aproximacin informal de los teoremas de Gdel, en el segundo se presenta el contexto histrico y el estado de la discusin en los fundamentos de la matemtica en el momento en que estos irrumpen, en el tercero se introduce un lenguaje formal necesario para enunciar los teoremas con la exactitud necesaria y en el ltimo captulo de esta parte se exponen algunas analogas del teorema de Gdel en otras disciplinas.
En la segunda parte se encuentran las demostraciones de los teoremas, con

la mnima cantidad posible de tecnicismos matemticos.

La tercera parte est dedicada a una exploracin propia sobre el fenmeno

de incompletitud en un contexto ms general y abstracto, se preguntan cul es el hecho matemtico que puede rastrearse en otros objetos y que divide aguas entre teoras completas e incompletas.
Por ltimo, hay dos apndices, uno para consulta durante la lectura y el otro

es una seleccin de textos de los propios protagonistas, Cantor, Russell, Hilbert, etc. sobre el fenmeno de incompletitud. Los autores han abierto un blog, http://www.godelparatodos.blogspot.com/, que incluye demostraciones en detalle de los teoremas, para atender consultas sobre las preguntas abiertas que se presentan en el libro y tambin para recibir sugerencias o crticas.

Patricia Caro Dpto. de Matemtica. Universidad Nacional del Comahue. Argentina.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA MARZO DE 2010 - NMERO 21 - PGINA 198