El segundo libro de la serie de autor de la Real Sociedad Matemática Española sobre temáticas de vigente actualidad, “El Teorema de Gödel. Un análisis de la verdad matemática” de Josep Pla i Carrera, que fue presentado en el Congreso Bienal RSME2013 en Santiago de Compostela, es a su vez una contribución de la RSME a la celebración del Año Turing, Año de la Informática. El Blog del Año Turing en el diario El País publicó un artículo de Josep Pla coincidiendo con la publicación del libro,
La presentación de la RSME destaca que el subtítulo del libro no es gratuito ni obedece a razones propagandísticas. El libro está dividido en tres partes. En la primera Josep Pla da una aproximación a la epistemología de la matemática, centrándose en el problema de la verdad en las matemáticas. En la segunda parte, más técnica, aborda la demostración de los teoremas de incompletitud de Gödel. Finalmente, en la tercera parte se analizan algunas consecuencias de los teoremas de Gödel. El libro admite dos lecturas: el lector que busque un texto divulgativo sobre la obra de Gödel verá satisfechas sus expectativas; para el especialista que busque una aproximación rigurosa a los teor-mas de Gödel, este texto de Pla es una muy buena opción.
También se destaca que el trabajo sobre computabilidad de Alan Turing se inspiró en el de Kurt Gödel sobre lógica, resultando consecuentemente impregnado de verdad matemática. Así sucede con el conocido problema de la parada para la máquina de Turing cuyo propio enunciado constituye a su vez el paradigma de existencia de funciones no computables.
La Real Sociedad Matemática Española anima a la lectura y la difusión educativa y cultural del libro de este libro del autor Josep Pla i Carrera, y de los libros de esta serie. Pueden adquirirse en el distribuidor oficial de la RSME, Libros Guijarro.
