Turing y el Universal

Mientras 'Turing y el Universal' explora los límites teóricos del cómputo, este trabajo se sumerge en cómo se dota de significado a los constructos de los lenguajes de programación. La conexión no obvia radica en que ambos, desde perspectivas distintas, abordan la formalización de la "ejecución" de ideas, uno a nivel fundamental de la máquina universal y otro a nivel de la interpretación de programas, ampliando la noción de qué significa que algo "funcione" o "se entienda" computacionalmente.

Aunque superficialmente parece más amplio y filosófico, la conexión con el libro de Girard es la profunda exploración de los límites de los sistemas formales y la autorreferencia. Así como Turing formalizó la computabilidad, Gödel en el corazón de esta obra, junto con Turing, sentó las bases de nuestra comprensión de lo que se puede y no se puede hacer. Es un enfoque "no obvio" porque no es un texto directo de lógica, sino una meditación sobre sus implicaciones profundas.

La conexión profunda reside en el intento fundamental de la humanidad de reducir la complejidad a principios elementales. Mientras Girard explora la formalización del cómputo a través de Turing, los Principia intentan una formalización análoga para todas las matemáticas. Ambos representan la cúspide del pensamiento abstracto para entender y delimitar la capacidad de un sistema formal, lidiando con las mismas preguntas sobre consistencia y completitud que más tarde llevarían a Gödel y Turing.

Aunque superficialmente dispares, la conexión filosófica profunda reside en ambos textos cuestionando la naturaleza de la verdad y la representación. Girard, a través de Turing, explora las limitaciones intrínsecas de lo que el cómputo puede 'decirnos'. Nietzsche, por otro lado, cuestiona cómo el lenguaje y la cognición humana construyen 'verdades', insinuando que toda formalización es una forma de "mentira en sentido extramoral". Ambos, a su manera, desvelan los límites de nuestras herramientas para entender y representar el mundo.

Tanto Girard como Curry (en este libro) abordan los fundamentos del cómputo desde perspectivas innovadoras. El cálculo combinatorio es un modelo de computación igualmente potente que las máquinas de Turing, pero mucho menos conocido fuera de los círculos especializados. El libro de Curry, coescrito con Feys, profundiza en una formalización alternativa que, al igual que los trabajos de Turing que Girard analiza, buscaba comprender la computabilidad y la lógica de las funciones, pero desde un ángulo distinto y menos mediático en la cultura popular.

Mientras Girard se centra en Turing, esta obra de una autora portuguesa menos conocida en el ámbito anglófono amplía la reflexión filosófica sobre las máquinas y la lógica en un contexto temporal más amplio. La conexión radica en la reflexión meta-teórica sobre el impacto de la teoría de la computación, que trasciende la figura de Turing para explorar cómo estas ideas han redefinido nuestra comprensión de la razón, el tiempo y la máquina, yendo más allá de las discusiones canónicas.

La conexión estructural se encuentra en la forma extremadamente formal y axiomática de ambos textos. Así como Girard, al discutir a Turing, se sumerge en la estructura lógica rigurosa y las definiciones precisas, el 'Tractatus' de Wittgenstein busca descomponer la filosofía y la lógica en proposiciones fundamentales y su interrelación. Ambos usan una estructura deductiva, casi matemática, para explorar los límites y las posibilidades de un formalismo, ya sea en el lenguaje o en el cómputo.

La similitud estructural reside en el esfuerzo por formalizar y reducir un concepto complejo (el número/la computación) a sus componentes lógicos más básicos. Ambos autores (Girard analizando a Turing, y Frege en su obra) emplean un método de análisis riguroso y una exposición sistemática para establecer los fundamentos axiomáticos de sus respectivas disciplinas. La meticulosidad en las definiciones y la construcción paso a paso de un sistema coherente es un paralelo estructural clave, evidenciando un pensamiento arquitectónico similar para construir conocimiento.