On Functions Computable by Machines

Aunque escrito mucho antes de la era de la computación, Butler anticipa filosóficamente muchas de las preocupaciones y argumentos sobre la inteligencia artificial y la supremacía de las máquinas que Turing aborda desde una perspectiva matemática. Ambos textos, a su manera, exploran los límites y las consecuencias del pensamiento mecánico y la automatización, pero Butler lo hace desde una narrativa ficticia y especulativa que no suele asociarse con los fundamentos de la computación.

Mientras que el trabajo de Turing sienta las bases de la computabilidad de manera formal, De Landa utiliza la metáfora de sus máquinas para pensar en la emergencia de patrones y procesos complejos en una multitud de dominios, incluyendo aquellos que no son intrínsecamente computables o digitales. La conexión es 'nonobvious' porque trasciende la computación tradicional, aplicando las ideas de Turing a problemas de materialidad y proceso en un contexto mucho más amplio y menos vinculado a la informática explícita.

Al igual que el trabajo de Turing establece los límites de la computabilidad y explora la formalización del pensamiento, Hofstadter investiga las implicaciones filosóficas y matemáticas de la auto-referencia y la recursión. Este libro se adentra en la naturaleza de los sistemas formales, la inteligencia y la posibilidad de que emerjan de estos sistemas, resonando directamente con las preguntas fundamentales que la Máquina de Turing planteó sobre lo que una máquina puede hacer y, por extensión, sobre qué es la mente.

El trabajo de Turing sobre la computabilidad y el problema de la parada se basa directamente y complementa las ideas de Gödel sobre la indecidibilidad. Ambos exploraron los límites fundamentales del razonamiento formal y la lógica matemática. Mientras Turing demostró los límites de lo que una máquina puede computar, Gödel demostró los límites de lo que un sistema formal puede probar. Sus contribuciones son pilares en la comprensión de los fundamentos de la computación y la lógica, abordando las mismas preguntas profundas sobre lo que es posible conocer y calcular.

Mientras Turing abordó la computabilidad abstracta, Pitts, aunque menos conocido por el público general, contribuyó fundamentalmente a la comprensión física de cómo las 'máquinas' (en este caso, cerebros biológicos) podrían realizar operaciones lógicas y computacionales. Su modelo matemático de neuronas, aunque anterior a la implementación de IA moderna, fue una propuesta revolucionaria sobre la arquitectura de la inteligencia 'mecánica', vinculando directamente con la pregunta de Turing sobre '¿pueden las máquinas pensar?' desde una perspectiva biológica y formal.

Wiener, a menudo eclipsado por la fama de Turing en la computación, fue una figura central en el desarrollo temprano de ideas sobre sistemas inteligentes y automatización. Su obra sobre cibernética aborda la interacción entre las máquinas y su entorno, la retroalimentación y el control, conceptos que son fundamentales para entender cómo las máquinas computables no solo procesan información sino que también interactúan dinámicamente. Aunque Turing se centró en la teoría de la computación, Wiener amplió el enfoque a cómo estas máquinas operarían en un mundo real, ofreciendo una perspectiva complementaria y crucial que rara vez se asocia directamente con la máquina de Turing en discusiones generales.

El trabajo de Turing, al igual que los Principia, busca formalizar un proceso fundamental, en este caso, la computabilidad. Ambos textos comparten la ambición de reducir fenómenos complejos (matemáticas o computación) a pasos y reglas elementales y bien definidos. La estructura argumental de ambos es altamente formalizada, axiomática y deductiva, construyendo complejidades a partir de bases simples, haciendo que se conecten por su enfoque en la estructuración rigurosa y formal del pensamiento.

Aunque siglos antes, el 'Calculus Ratiocinator' de Leibniz comparte una profunda similitud estructural con la Máquina de Turing: ambos postulan un sistema formal, simbólico y mecánico capaz de procesar información y resolver problemas. La Máquina de Turing es una realización concreta de un 'calculus' capaz de automatizar el razonamiento (o al menos ciertos tipos de él) de manera universal, exactamente lo que Leibniz imaginó, pero sin la noción de un 'informático' humano detrás. Ambos conciben una máquina o sistema capaz de encadenar inferencias lógicas de manera puramente mecánica.