Escrito por Nelo Maestre y publicado por Shackleton en el 2023.
Al autor no le conocía, pero es profesor asociado dentro del Departamento de Didáctica de las Ciencias de la Universidad Complutense de Madrid, así que para hablar de los principios de la lógica y las matemáticas, tiene capacidad de sobra. Además, el título no podía evitar ser similar a la famosa paradoja del barbero de Russell y eso siempre atrae mi atención.
Es un libro muy ameno, con algún momento de dificultad media-baja, pero es que no hay forma humana de hablar de matemáticas sin escribir alguna fórmula (así como de física sí que es más fácil hablar poniendo ejemplos cotidianos). En cualquier caso la dificultad es mínima y nos adentra bastante bien en lo que se entiende en matemáticas como lógica, llega hasta Gödel y sus teoremas (el de completitud y los dos de incompletitud), de cuya demostración hablé un poco al comentar otro libro (éste) y termina con una introducción a Turing (su máquina universal y el famoso test) y Claude Shanon (y la teoría de la información).
Para empezar, comienza hablando de las matemáticas y lo que entiende él que sería una buena definición (y que yo comparto la opinión, de hecho la había defendido hace muchos años cuando todavía internet estaba en pañales), y es que "la matemática es la disciplina que se ocupa de cómo pensar bien; para muchos, el arte de pensar con rigor", aunque también comenta que la palabra viene del griego y significa cosa que se aprende y, obviamente, al hablar de lógica y griegos, pues nos habla de Pitágoras, Aristóteles, ...
Va dando pinceladas de todos los temas que habla, y algunas de ellas son muy curiosas y muchas veces pasan desapercibidas, como que el número 1 no es primo (porque los números primos son aquellos que sólo se pueden dividir por ellos mismo, además de por el uno (por eso cualquier número primo tiene dos divisores)). También nos comenta la forma que tuvo Cantor de definir los conjuntos infinitos: son aquellos en los que se puede establecer una biyección del conjunto total en un subconjunto del total, y de aquí nos lleva hasta la hipótesis del continuo. También habla de los 23 problemas de Hilbert y de su famosa frase: "debemos saber, sabremos", y de una paradoja que siempre me ha resultado muy sorpresiva, que es la de Banach-Tarski.
En fin, un libro que se lee muy rápido (yo me lo he leído en tres tardes), con poca dificultad y que dice cosas muy interesantes, incluyendo las ideas principales de las demostraciones de los teoremas de incompletitud de Gödel (que teniendo en cuenta la dificultad que tienen, está muy bien realizado).
Como siempre, copio un trocito:
""El conjunto de todos los conjuntos que no se contienen a sí mismos" ¿Qué tipo de trabalenguas era ese? ¿Qué estupidez? Y a la vez qué ingenioso y cierto. Si lo único que pedíamos a un conjunto para que existiese era definir de alguna forma los elementos que contenía, esa definición era tan válida como cualquier otra.
Era inútil dar más vueltas al asunto. Él amaba la lógica y ese razonamiento era totalmente lógico, no se podía oponer a él, sólo quedaba asumir el error y enfrentarlo con la dignidad propia de un hombre de ciencia y pensamiento. Tomó su pluma y escribió: "No hay nada peor que pueda sucederle a un científico que descubrir que su fundamentación se ha desplomado justo en el momento en el que ha terminado su obra. Una carta del señor Bertrand Russell me ha colocado en esta posición".
Completó el texto, metió el papel en su bolsillo y se encaminó hacia la imprenta. Había que parar la impresión del segundo tomo de los Fundamentos de la aritmética para incluir al final del libro un apéndice, un par de párrafos de texto, reconociendo que posiblemente todo lo que se contaba en ese volumen y en el tomo primero podría no tener ninguna validez."
Clasificación:
Facilidad de lectura: 2-3
Opinión: 4 (muy ameno e instructivo).
