La notación como pensamiento: de granjero en Alberta a galardonado con el Premio Turing, la trayectoria de Kenneth Iverson

En plena Gran Depresión, Kenneth Iverson, de diecisiete años, trabajaba en la granja familiar en Alberta, Canadá. Tras dejar la escuela al terminar el noveno grado para ayudar en las labores del campo, Iverson recurrió al autoaprendizaje y estudió de forma autónoma un libro de texto de cálculo. Esa temprana experiencia con el estudio independiente fijó el rumbo para su posterior regreso a la educación formal tras la Segunda Guerra Mundial.

En 1950, se graduó como el mejor estudiante de su promoción en la Universidad de Queen's con una licenciatura en matemáticas y física. Posteriormente, se trasladó a la Universidad de Harvard para realizar estudios de posgrado bajo la dirección del pionero de la informática Howard Aiken. En Harvard, Iverson escribió programas para la computadora Harvard Mark IV con el fin de evaluar enormes matrices económicas de insumo-producto para el economista Wassily Leontief.

El autoaprendizaje y el aprendizaje en Harvard

Iverson describió su trabajo de posgrado con Aiken como un aprendizaje centrado en la claridad de pensamiento y el rigor matemático. Al trabajar junto a investigadores que diseñaban y construían las primeras computadoras digitales, Iverson adquirió experiencia de primera mano en la manipulación de estructuras de arreglos de altas dimensiones para modelos económicos complejos.

Una notación para el procesamiento de datos empresariales

A mediados de la década de 1950, mientras ejercía como profesor asistente en Harvard, Aiken le asignó a Iverson la tarea de diseñar e impartir el primer curso de posgrado del mundo sobre procesamiento de datos empresariales. Al desarrollar el plan de estudios, Iverson se sintió insatisfecho con la notación matemática estándar. Las expresiones convencionales carecían de la precisión y la sintaxis necesarias para describir con claridad las operaciones sobre estructuras de datos como vectores y matrices.

Para resolver este problema, comenzó a extender el álgebra matricial y la notación tensorial hacia un sistema nuevo y unificado. En lugar de describir el cálculo paso a paso mediante la notación tradicional, su sistema permitía escribir operaciones sobre arreglos completos de números utilizando operadores concisos y potentes.

Del «manual gris» a APL\360

En 1960, Iverson se incorporó a IBM Research, donde publicó su notación formal en el libro de 1962 A Programming Language. Su trabajo atrajo la atención de sus colegas en IBM, Adin Falkoff y Ed Sussenguth. En 1964, el trío publicó una descripción formal completa de la arquitectura de la computadora IBM System/360 redactada íntegramente en la notación de Iverson. Publicada en la revista IBM Systems Journal, esta obra fundamental llegó a ser conocida en la industria informática como el «manual gris».

La notación teórica evolucionó rápidamente hasta convertirse en un lenguaje de programación ejecutable denominado APL. Los desarrolladores de software construyeron un sistema de ejecución interactivo de tiempo compartido para las computadoras de IBM, guardando el espacio de trabajo histórico registrado como 1 cleanspace el 27 de noviembre de 1966. El carácter interactivo de APL\360 proporcionó a los programadores una retroalimentación inmediata, demostrando que una notación concisa podía funcionar también como un lenguaje ejecutable.

El Premio Turing y la creación de J

Iverson fue galardonado con el Premio Turing en 1979 por sus esfuerzos pioneros en lenguajes de programación, notación matemática y sistemas interactivos. Sin embargo, continuó perfeccionando la notación de arreglos mucho después de dejar IBM. Un fin de semana de verano en 1989, el informático Arthur Whitney escribió en una sola tarde un fragmento de intérprete de una sola página en una computadora AT&T 3B1.

Inspirado por el código mínimo de Whitney, Iverson colaboró con Roger Hui para crear el lenguaje de programación J. Diseñado como un dialecto moderno de APL que empleaba caracteres ASCII estándar, J eliminó la necesidad de teclados físicos especiales manteniendo la expresividad del procesamiento de arreglos.

El compromiso constante de Iverson con la sintaxis matemática transformó la notación ejecutable de un experimento académico en una herramienta práctica para el cálculo analítico, dejando tras de sí sistemas como APL y J que continúan influyendo en el diseño de la programación orientada a arreglos.

Imagen de portada: ilustración generada con IA; no es una fotografía documental.

Fuente: Kenneth E. Iverson