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 experts.
Guillermo Martínez is an Argentinian novelist and short story writer. He gained a PhD in mathematical logic at the University of Buenos Aires.
After his degree in Argentina, he worked for two years in a postdoctoral position at the Mathematical Institute, Oxford.
His most successful novel has been The Oxford Murders, written in 2003. In the same year, he was awarded the Planeta Prize for this novel, which has been translated into a number of languages.
If you can read in Spanish and you are interested in science and mathematics, I strongly recommend you this book. As Paul Davies, a famous physicist, said once, in 10000 years this theorem will be studied, something that perhaps you can't say about many other things (art, literature or even results in sciences like physics or biology). Mathematicians know this because a theorem is like a timeless diamond, a slice of the eternity. But Gödel's theorem is specially outstanding because it puts a kind of limit to our knowledge and shapes, in certain way, what mathematics are.
The work of the authors is superb. They have a very nice and clear introduction and then discuss interpretations and applications of this theorem to other fields (mostly bad applications, of course, because a theorem is something with very strict limits of validity). Then it comes the main kernel of the book, the proof of the theorem, which is not easy to follow, but is something that you can understand with effort and a few of mathematical maturity. There are two versions of the proof, one of them the general, syntactic one; the other one the semantic. Then we have a discussion of the results, and the authors even show an old result in a novel and original way! Pretty remarkable!
The book has a discussion page http://godelparatodos.blogspot.com.es/ in the case you want to clarify something (in Spanish). In short, a very good book and an my highest congratulations to both authors.
En mi humilde entendimiento, se nota que los autores saben de los que estan hablando, y recomiendo el libro a toda persona verdaderamente interesada en el tema, ya que presentan todas las demostraciones, explicaciones, y hasta analizan digamos "extrapolaciones" del teorema a otras areas realizadas por varias personas, y exponen por qué estas no son validas, además de plantear ejercicios para acompañar la lectura, y presentar preguntas que se encuentran abiertas hasta el día de hoy.
Por otro lado, el libro no me resultó tan "para todos" como los autores supuestamente intentaron que fuera. Aun con cierta base de lógica y computabilidad, por haber cursado una materia sobre esto en la universidad (y en la cual usamos apuntes del mismisimo Martínez hechos mientras el daba lógica en la UBA), varias veces me encontré con dificultades para seguir los razonamientos (tanto del libro en si como en la resolución de los ejercicios adicionales propuestos), por lo que solo puedo suponer que para una persona sin base alguna de lógica sería aun peor.Además de esto, se me hizo medio tediosa la lectura al llegar al final.
Aun así repito, para alguien realmente interesado en tema y que entienda sobre el asunto, puede ser una lectura enriquecedora y probablemente de las mejores en la lengua española.