Arquitecto de la lógica simbólica: cómo John McCarthy creó Lisp, el tiempo compartido y las bases de la IA

En 1944, un joven John McCarthy ingresó en el Instituto Tecnológico de California (Caltech) habiendo dominado ya todo el plan de estudios universitario de matemáticas mediante el estudio independiente de libros de texto durante su adolescencia. Según la biografía de McCarthy, esta preparación autodidacta le permitió eximirse de los dos primeros años de cursos de matemáticas en Caltech. Tras una interrupción para prestar servicio en el Ejército de los Estados Unidos, regresó para completar su licenciatura en matemáticas en 1948. Este dominio temprano de las estructuras matemáticas sentó las bases de una trayectoria que transformaría la computación de alto nivel.

De las matemáticas autodidactas a Dartmouth

Tras obtener su doctorado en la Universidad de Princeton en 1951, McCarthy se incorporó al cuerpo docente de Dartmouth College como profesor asistente en 1955. Muy pronto comprendió que el incipiente campo del pensamiento mecanizado necesitaba una identidad científica coherente. En el verano de 1956, McCarthy redactó junto con Marvin Minsky, Nathaniel Rochester y Claude Shannon la propuesta para un seminario de trabajo. El documento introdujo la expresión «inteligencia artificial» en el léxico científico, dando inicio a una disciplina formal centrada en la premisa de que el aprendizaje y otros rasgos de la inteligencia podían describirse y simularse con precisión mediante máquinas.

La creación de Lisp y la gestión de memoria

A finales de la década de 1950, tras trasladarse al Instituto Tecnológico de Massachusetts (MIT), McCarthy abordó una limitación técnica fundamental: los lenguajes de programación de la época no estaban preparados para la manipulación simbólica. Para resolverlo, desarrolló el lenguaje de programación Lisp utilizando expresiones simbólicas y sintaxis del cálculo lambda, y publicó en 1960 el artículo donde detallaba el lenguaje. Para hacer viable la ejecución simbólica dinámica en un hardware limitado, McCarthy inventó la recolección automática de basura hacia 1959, liberando a los programadores de la asignación manual de memoria. En ese mismo periodo, en agosto de 1959, mientras formaba parte de un comité de la Association for Computing Machinery, propuso añadir recursividad y expresiones condicionales a ALGOL, lo que ayudó a establecer patrones de diseño esenciales para los lenguajes de programación modernos.

Pionero del tiempo compartido y la computación como servicio público

McCarthy también reconoció que el procesamiento por lotes en las grandes computadoras centrales creaba un cuello de botella crítico en la productividad de la investigación. Impulsó la interacción en tiempo real y desempeñó un papel decisivo en el desarrollo de los primeros sistemas de tiempo compartido, entre los que se incluyeron el Compatible Time-Sharing System (CTSS), el BBN Time-Sharing System y el Dartmouth Time-Sharing System. Al permitir que múltiples usuarios accedieran simultáneamente al hardware central, McCarthy transformó la gestión de recursos. En un discurso pronunciado en 1961 con motivo del centenario del MIT, profundizó en esta visión arquitectónica y propuso el concepto de la computación como servicio público, sugiriendo que la potencia de cálculo interactiva y las aplicaciones especializadas podrían distribuirse con el tiempo a los usuarios al igual que los servicios básicos de agua o electricidad.

Lógica, circunscripción y el reconocimiento de Turing

McCarthy dedicó décadas a perfeccionar marcos lógicos para el razonamiento basado en el sentido común. En 1966, lideró el equipo que desarrolló un programa de ajedrez para el enfrentamiento Kotok-McCarthy contra científicos informáticos soviéticos, una prueba de algoritmos de juego que concluyó con dos empates y dos derrotas para el equipo de McCarthy. Entre 1978 y 1986, creó la circunscripción, un método matemático para formalizar el razonamiento no monotónico al trabajar con información incompleta. Sus amplias contribuciones a la inteligencia artificial, la computación simbólica y el diseño de sistemas le valieron el Premio Turing de la Association for Computing Machinery en 1971.

Los primeros trabajos de McCarthy en tiempo compartido y computación como servicio público sentaron la base conceptual de las redes de servidores modernas y la infraestructura en la nube. Al combinar la lógica matemática con la gestión automatizada de memoria, sus decisiones arquitectónicas establecieron paradigmas de software clave que continúan sustentando los sistemas informáticos y la ingeniería de software en la actualidad.

Ilustración editorial generada con IA; no es una fotografía documental.

Fuente: John McCarthy (computer scientist)