Escrito por Gregory Chaitin y publicado por Tusquets Editores dentro de la colección Metatemas (que dirige Jorge Wagensberg) en el año 2015 (el original es del 2005).
Esta vez al autor sí le conocía (de haber sido nombrado en otros libros) y con el subtítulo del libro: "límites y enigmas de las matemáticas" pues me llamaba para ser leído, así que eso he hecho.
Lo primero de todo, antes de analizar nada del libro, me gustaría dejar claro que el número omega no está explicitado en el libro, porque por definición es: "la probabilidad de detención en lo que los científicos de la computación denominan una computadora universal o una máquina universal de Turing".
Esta vez, para resumir de qué trata el libro, lo tengo muy fácil, porque el autor hace un resumen del mismo en la página 26, que copio literalmente:
"Este es nuestro camino hacia Omega:
- En el capítulo 2 le contaré cómo entró la idea de las computadoras en las matemáticas y la rapidez con que se instauró su utilidad.
- En el capítulo 3 incorporo la idea de la información algorítmica, de la medición del tamaño de los programas informáticos.
- El intermezzo trata brevemente los argumentos físicos en contra de los números reales de precisión infinita.
- El capítulo 5 analiza estos números desde un punto de vista matemático.
- Por ultimo, el capítulo 6 6 presenta mi análisis basado en la información acerca de lo que puede o no puede lograr el razonamiento matemático. Aquí es donde Omega se manifiesta en todo su esplendor.
- El breve capítulo final está dedicado a la creatividad."
Obviamente, por la definición misma del número Omega, nos tiene que comentar el famoso problema de la parada de Turing, y sus conexiones con el teorema de incompletitud de Gödel. Pero además hace referencia a muchos otros conceptos (explica casi todos) como lo que es la interpolación de Lagrange, lo que es una ecuación diofántica, el décimo problema de Hilbert, lo que es el lenguaje de programación LISP (tengo un libro muy bueno para aprender a programar en este lenguaje que es éste), la hipótesis del continuo de Cantor, lo que se entiende por un "programa elegante" (un programa de computación es elegante si no existe ningún otro programa más pequeño en su mismo lenguaje que produzca un resultado idéntico). Y hace muchas referencias a otros libros y artículos, entre ellos dos que he comentado con anterioridad: éste y éste.
Está bastante bien escrito, aunque hay partes que son un poco densas y hay que leer con calma; pero resumiendo, son 219 páginas más dos apéndices que merece la pena leer. Un libro recomendable, pero con cierta densidad, aunque no por ello deja de incluir frases simpáticas como: "A veces una mirada fresca es mejor, porque es mejor no saber qué han hecho otros, ¡en especial si todos ellos tomaron una dirección equivocada!".
Como siempre, copio un trocito:
"Veremos distintas consideraciones sobre si el universo se puede comprender de manera racional empezando por Platón, pasando por Leibniz y acabando con la opinión de algunos científicos eminentes del siglo pasado, Basándonos en ellas, defenderemos la tesis de que la comprensión es compresión, es decir, explicar muchos hechos recurriendo a unos pocos asertos teóricos, y que las teorías se pueden entender como programas de ordenador calcular observaciones. Esto nos lleva a definir la complejidad de algo en virtud del tamaño de la teoría más simple para explicarlo, en otras palabras, el tamaño del programa más conciso para calcularlo. Ésta es la idea central de la teoría algorítmica de la información (TAI), una rama de la informática teórica, Usaremos el concepto matemático de complejidad en virtud del tamaño de un programa para evidenciar los hechos matemáticos irreducibles, los hechos matemáticos que no se pueden demostrar mediante ninguna teoría matemática más simple que ellos mismos,"
PD: Menciona también otro libro que al que a lo mejor los profesores deberían echar un vistazo, que es éste.
Clasificación:
Facilidad de lectura: 3-4
Opinión: 3-4
No hay comentarios:
Publicar un comentario