La máquina de Turing computable y el problema de la decisión

Aunque no trata directamente con las máquinas de Turing, este libro aborda los fundamentos de la computabilidad, la autorreferencia y los sistemas formales, que son la base lógica de la máquina de Turing y el problema de la decisión de una manera interdisciplinaria y mucho menos obvia que otros textos de lógica o informática.

Mientras que Turing lidió con los límites de la computabilidad y la lógica en sistemas formales, Hawking se enfrenta a los límites del conocimiento y la comprensibilidad del universo físico. Ambos autores abordan la capacidad humana para comprender y modelar la realidad, aunque desde dominios muy distintos: lo abstracto-computacional y lo físico-cosmológico. La conexión radica en la ambición de unificar y encontrar reglas fundamentales.

Aunque este es un libro de ficción, se adentra en la misma profunda preocupación filosófica que impulsó el trabajo de Turing: los límites de lo formalizable y decidible. Gödel, contemporáneo de Turing, demostró la incompletitud de los sistemas formales que Turing más tarde exploraría en el contexto de la computabilidad. La novela explora la implicación humana de estas ideas abstractas.

El problema de la decisión de Turing cuestiona la capacidad algorítmica de determinar la verdad o falsedad de ciertas proposiciones matemáticas. Nietzsche, mucho antes, planteaba una cuestión más radical sobre la propia naturaleza y validez de la 'verdad' y cómo la construimos a través del lenguaje y los conceptos. Ambos, uno en lo formal y otro en lo filosófico, abordan los límites de la 'decidibilidad' y la 'verdad' en sus respectivos dominios.

Cavaillès, menos conocido en el mundo anglosajón, profundiza en la filosofía de las matemáticas y la lógica en un momento crucial en su desarrollo, paralelo a la era de Turing. Su obra examina la conciencia matemática y la génesis de las estructuras lógicas, proporcionando una perspectiva francesa y más filosófica sobre los mismos cimientos del pensamiento que llevaron a la formulación de la máquina de Turing.

Neurath, como figura clave del Círculo de Viena, exploró activamente los fundamentos de la ciencia y la lógica, lo que es directamente relevante para el contexto de Turing. Mientras Turing se centró en la formalización de la computación, Neurath examinó las raíces empíricas y sociales de cómo se desarrolla el pensamiento lógico y matemático, ofreciendo una perspectiva menos abstracta y más contextual sobre los mismos problemas de construcción de sistemas formales y su significado.

Este libro emplea una estructura narrativa que se mueve entre el ensayo expositivo sobre la ciencia (la incompletitud y computación) y el relato histórico de las personas y épocas. De manera similar al trabajo de Turing que, no solo define un concepto técnico sino que también plantea un problema existencial ('el problema de la decisión'), este libro estructura su argumento mezclando la explicación teórica con el contexto humano e histórico que da forma a esas ideas.

Gardner estructura su obra combinando una exposición clara de principios técnicos con una visión histórica documentada y ejemplos prácticos. El libro de Turing, aunque denso, se distingue por presentar un concepto técnico abstracto (la máquina de Turing) con una claridad y una aproximación paso a paso que lo hacen fundamental. Ambos libros emplean una estructura didáctica e informativa que desglosa ideas complejas en componentes más manejables para un público interesado.