Proposed Electronic Calculator

Mientras Turing sentó las bases teóricas de la computación, Hofstadter explora las implicaciones filosóficas y las manifestaciones de sistemas formales, autorreferencia y meta-cognición que subyacen a la inteligencia y la computación, conectando con el espíritu de diseñar algo que pueda 'pensar' como la ACE. Ambos autores están buscando el gran 'cómo funciona'.

Aunque 'Proposed Electronic Calculator' es un documento técnico fundacional, este libro contextualiza la ambición de Turing de construir una máquina pensante dentro de un arco histórico más amplio de la IA. Va más allá del hardware para explorar la evolución de las preguntas sobre la inteligencia artificial, partiendo de los sueños que precedieron a la materialización de las máquinas.

Turing y Wiener, contemporáneos, sentaron las bases de la era digital. Mientras Turing se centró en la arquitectura lógica de la computación, Wiener generalizó los principios de control y comunicación aplicables tanto a las máquinas como a los seres vivos y las sociedades, tocando la esencia de lo que permite a un sistema, sea electrónico o biológico, procesar información y reaccionar. Ambos comparten la visión de que la información y su procesamiento son centrales para la comprensión de sistemas complejos.

Aunque de naturaleza puramente formal y matemática, los 'Principia Mathematica' representan la cúspide del esfuerzo por formalizar el pensamiento y la inferencia, un requisito previo fundamental para conceptualizar una 'máquina calculadora' como la de Turing. La obra explora profundamente la estructura misma del razonamiento que una computadora intenta emular. La conexión radica en la búsqueda de la fundamentación lógica de todo cálculo.

Este libro, de un autor sueco y menos conocido en el canon anglosajón, profundiza en las mismas preguntas que el trabajo de Turing abre: ¿hasta qué punto puede una máquina replicar las funciones del cerebro? Ofrece una perspectiva escandinava, fuera de los círculos más citados, sobre la naciente ciencia computacional y la inteligencia artificial.

Mientras Turing sentó las bases teóricas de la computación universal, el modelo McCulloch-Pitts (de 1943) fue un intento paralelo y crucial de modelar la computación biológica y la inteligencia. Este libro de un autor hispanoamericano examina las entrañas de esos primeros modelos, mostrando una faceta menos conocida de la prehistoria de la IA, pero fundamental para entender cómo el 'pensamiento' de una máquina podría ser estructurado a nivel más elemental.

El libro de referencia de Turing es un borrador del diseño de una máquina real, pero las 'Máquinas de Turing' de Trakhtenbrot (un matemático soviético) profundizan en la abstracción matemática subyacente. Ambos textos comparten la estructura de presentar un modelo teórico/práctico de computación, pero el de Trakhtenbrot lo hace con un enfoque rigurosamente formal para establecer sus propiedades fundamentales de manera exhaustiva.

'Proposed Electronic Calculator' detalla la arquitectura de una máquina y cómo se 'programaría' de forma rudimentaria. Wirth, por su parte, se enfoca en cómo estructurar un lenguaje formal para dar instrucciones a estas máquinas. Ambos libros comparten un enfoque en la estructura y la lógica interna de cómo se formulan y ejecutan las instrucciones, siendo el de Wirth una evolución de la necesidad de estructurar el pensamiento computacional que Turing sentó.