Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

Este artículo del mismo autor es una recomendación 'nonobvious' porque, aunque sea de McCarthy, no es el omnipresente artículo de Lisp. Profundiza en los fundamentos matemáticos de la computación y la semántica del lenguaje, explorando el terreno conceptual que rodea al artículo de referencia pero desde una perspectiva más formal y teórica, a menudo pasada por alto frente a la notoriedad de 'Recursive Functions...'.

Conecta de manera no obvia al abordar la materialización física y arquitectónica de las ideas presentadas por McCarthy. Mientras el texto de referencia establece el fundamento teórico (funciones recursivas, S-expresiones), este libro explora cómo se construyen máquinas reales para ejecutar eficientemente ese tipo de cómputo simbólico, un vínculo crucial pero raramente destacado en listas de recomendaciones sobre Lisp.

McCarthy fundamenta su teoría en las funciones recursivas parciales, un concepto central desarrollado por Kleene. Este libro proporciona la profundidad lógica y matemática subyacente a la idea misma de 'computabilidad' que McCarthy adapta para máquinas y expresiones simbólicas. La conexión es profunda porque va al sustrato teórico que hace posible la propuesta de Lisp.

Profundiza en los mismos cimientos conceptuales sobre qué es computable y cómo diferentes modelos (autómatas, Turing machines, etc.) se relacionan. Minsky, contemporáneo y colega de McCarthy en el MIT, ofrece una exploración paralela y complementaria de la teoría de la computación, compartiendo el mismo marco intelectual de la inteligencia artificial primigenia y la búsqueda de formalismos para el pensamiento mecánico.

Esta es una recomendación 'obscure' desde la perspectiva anglosajona de la informática. Es una obra brasileña (de Júlio César de Mello e Souza) que, mediante relatos ficcionados, explora la belleza y recursividad de la lógica y las matemáticas discretas. Conecta con el espíritu de McCarthy de presentar ideas computacionales complejas de manera elegante y accesible, pero a través de una cultura literaria y matemática completamente distinta.

Novela eslovena profundamente filosófica que explora temas de manipulación, realidad construida y la idea de que los sistemas de creencias pueden ser programados. Esto conecta de manera oblicua con el núcleo del artículo de McCarthy: la creación de un sistema formal (Lisp) para manipular símbolos y, por extensión, construir realidades computacionales. Ofrece una reflexión literaria 'obscure' sobre los implicaciones de crear sistemas que procesan y transforman 'símbolos' (en este caso, ideológicos).

Comparte la estructura recursiva y autoreferencial que es fundamental en el artículo de McCarthy. Así como McCarthy define funciones usando la función misma (recursión), Hofstadter construye su exploración de la conciencia mediante bucles extraños, autorreferencia y niveles emergentes, imitando la estructura de un programa Lisp que se construye a sí mismo. Ambos textos usan la recursión no solo como tema, sino como principio organizativo estructural.

Este trabajo fundacional de la lingüística generativa comparte una similitud estructural profunda con el de McCarthy: ambos proponen sistemas formales basados en reglas recursivas para generar estructuras complejas (oraciones en un caso, programas y datos como S-expresiones en el otro). La conexión está en el uso de un pequeño conjunto de reglas de formación recursivas para definir un universo infinito de expresiones válidas, un paralelismo en la arquitectura de sus teorías.