Operaciones abstractas y engranajes decimales: cómo Ada Lovelace conceptualizó la arquitectura de software moderna

En 1843, Ada Lovelace publicó una traducción al inglés de un artículo italiano que describía la propuesta Máquina Analítica de Charles Babbage. Lovelace no se limitó a trasladar el texto extranjero al inglés; añadió siete extensas notas técnicas, designadas de la Nota A a la Nota G, que superaban con creces la longitud de la publicación original. Trabajando exclusivamente a partir de especificaciones abstractas para una máquina que solo existía sobre el papel, sentó las bases teóricas para ejecutar estructuras algorítmicas complejas y repetibles sobre hardware mecánico.

Columnas decimales y diferencias divididas

Antes de que Lovelace comenzara su traducción, Charles Babbage había pasado más de una década diseñando dos máquinas de cálculo mecánico independientes. Según Two Bit History, su primer diseño, la Máquina de Diferencias, era una calculadora automatizada destinada a eliminar los errores de cálculo humano en las tablas logarítmicas. Utilizando el método de las diferencias divididas, la máquina empleaba ocho columnas físicas de engranajes, donde cada engranaje representaba un único dígito decimal. Este mecanismo permitía a la Máquina de Diferencias tabular funciones polinómicas de hasta séptimo grado mediante sumas y restas repetidas. Sin embargo, las limitaciones en la fabricación de engranajes de precisión y los elevados costos impidieron que Babbage completara la construcción física a escala real.

En busca de un concepto más amplio, Babbage diseñó la Máquina Analítica, un sistema programable que utilizaba tarjetas perforadas y una unidad central de procesamiento conocida como el molino (mill). En 1840, Babbage visitó Turín para explicar su arquitectura mecánica a científicos italianos. Tras esa visita, el ingeniero italiano Luigi Menabrea publicó en francés el primer artículo sobre la Máquina Analítica en 1842, presentando diagramas operativos básicos para resolver ecuaciones lineales y desarrollar expresiones binomias.

Rigor matemático y maquinaria abstracta

Lovelace aportó una trayectoria singular al texto de Menabrea. Había conocido a Babbage en una fiesta en 1833, cuando ella tenía 17 años y él 41. Fascinada por sus primeros prototipos mecánicos, poseía la formación técnica necesaria para evaluar sus diseños. Su madre, Annabella Milbanke, había organizado deliberadamente una intensa tutoría matemática para Lovelace durante su infancia —contratando a tutores como el logicista Augustus de Morgan— con el fin de contrarrestar la influencia romántica e inestable de su padre, el poeta Lord Byron.

Con esta sólida base técnica, Lovelace mantuvo una correspondencia constante con Babbage. Cuando en 1843 una amistad le sugirió traducir el artículo en francés de Menabrea para los lectores de habla inglesa, identificó la oportunidad de formular el significado teórico más amplio de la arquitectura de Babbage.

Más allá de la aritmética: la visión de la Nota A

En los comentarios que añadió, Lovelace amplió el concepto de computación automatizada mucho más allá de lo que Menabrea o Babbage habían publicado. El artículo original de Menabrea de 1842 presentaba pasos de cálculo lineales que se ejecutaban de principio a fin sin secuencias repetitivas ni evaluación de cambios condicionales. En la Nota A, Lovelace fue más allá del mero cálculo numérico. Señaló que la Máquina Analítica no se limitaba a calcular números brutos; en su lugar, podía manipular cualquier objeto abstracto cuyas relaciones mutuas fundamentales pudieran expresarse mediante reglas operativas.

Observó que, si las relaciones de las notas musicales y la armonía se podían codificar en reglas operativas abstractas, la máquina podría componer piezas musicales científicas y elaboradas de cualquier grado de complejidad. Esta idea supuso un cambio conceptual fundamental: pasar de calcular tablas numéricas a realizar un procesamiento de símbolos generalizado.

La Nota G y la arquitectura de los cálculos de Bernoulli

La obra maestra técnica de Lovelace llegó en la Nota G, donde publicó un diagrama detallado de desarrollo para calcular los números de Bernoulli. Llamados así en honor al matemático suizo Jakob Bernoulli —cuyo trabajo sobre sumas polinómicas de potencias mediante el triángulo de Pascal se publicó de forma póstuma tras su muerte en 1705—, esta secuencia requería resolver complejos coeficientes recursivos. Para calcular estos valores de forma automática, Lovelace diseñó un algoritmo paso a paso que introdujo dos conceptos fundamentales del software informático: la notación para el seguimiento del estado de las variables y los bucles de operaciones repetidas. Mientras que Menabrea solo había trazado cálculos en línea recta, Lovelace demostró cómo una máquina podía reutilizar un único conjunto de operaciones físicas de engranajes a lo largo de múltiples iteraciones cambiando los valores de las variables.

En la Nota G, Lovelace también abordó los límites del razonamiento artificial, señalando que la máquina solo podía realizar aquello que los humanos supieran ordenarle ejecutar, un principio que Alan Turing denominó más tarde de forma célebre la «objeción de Lady Lovelace». La Máquina Analítica a la que iba destinado el trabajo nunca se construyó físicamente durante la vida de Lovelace debido a que el Gobierno británico denegó la financiación y la manufactura del siglo XIX no podía fabricar los engranajes mecánicos necesarios.

Aunque el hardware físico jamás llegó a construirse en su época, la visión estructural de Lovelace sobre los estados de las variables y los bucles repetidos estableció los principios fundamentales de la programación informática moderna más de un siglo antes de que aparecieran las computadoras electrónicas.

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

Fuente: 0b10 0b10 What Did Ada Lovelace's Program Actually Do?