Turing y el universo de las matemáticas

Aunque no trata directamente con Turing, este libro explora en profundidad los conceptos de recursión, autorreferencia y sistemas formales que son fundamentales para la computación y la lógica, temas centrales en la obra de Turing y figuras como Gödel, que Martin Davis también aborda. Es menos obvio que recomendar un libro directamente sobre la historia de la informática.

El libro de Davis explora las bases lógicas y filosóficas que llevaron al concepto del computador universal. Popper, coetáneo de muchos de los pensadores mencionados, aborda cuestiones fundamentales sobre cómo adquirimos y validamos el conocimiento, un proceso intrínsecamente ligado a la lógica y la forma en que pensamos y construimos sistemas, ecos de la búsqueda de un lenguaje formal universal.

Mientras Davis narra el camino hacia la formalización y la búsqueda de un lenguaje universal computable, Nietzsche deconstruye la idea misma de verdad y los sistemas de lenguaje. Esta oposición filosófica radical, de construir sistemas de conocimiento frente a deconstruirlos, ofrece una perspectiva 'profunda' sobre los límites y las implicaciones de las estructuras lógicas que la obra de Turing solidificó.

Mientras el libro de Davis se centra en los orígenes teóricos del computador, Lem, un autor polaco, especula de forma brillante en la ficción sobre las consecuencias filosóficas y existenciales de esa teoría, especialmente en relación con la inteligencia. Su enfoque es a menudo más crítico y menos triunfalista que el de la historia canónica de la IA.

El libro de Davis traza la 'construcción' de un lenguaje universal computable. Stapledon, un filósofo británico menos conocido por el público anglosajón general que por los aficionados a la ciencia ficción, también realiza una 'construcción' del universo, pero a través de la lente de la imaginación especulativa. Su trabajo aborda la evolución de la mente y la inteligencia a una escala cósmica y temporal que resuena con las grandes ambiciones de los pioneros de la computación, aunque desde un enfoque literario y filosófico.

Ambos libros, el de Davis y el de Hawking, comparten una estructura didáctica y narrativa similar. Presentan una historia del desarrollo de ideas complejas (la computación y la cosmología, respectivamente) a través de los pensadores clave, desglosando conceptos abstractos y su evolución de manera cronológica y conceptual, con una clara vocación divulgativa y un estilo que busca hacer lo inaccesible comprensible para el lector promedio.