Ada Byron, la Nota G y el primer algoritmo informático de la historia

 Ada Byron, conocida como Ada Lovelace, nació en Londres el 10 de diciembre de 1815. Fue la única hija legítima del célebre poeta romántico  Lord Byron y de Annabella Milbanke, una mujer con una sólida formación matemática. Sus padres se separaron poco después de su nacimiento y Ada fue criada principalmente por su madre, que procuró que recibiera una educación científica y matemática poco habitual para una mujer de la sociedad británica del siglo XIX.

Desde joven mostró un gran interés por las matemáticas, la ciencia y las máquinas. Recibió clases de importantes intelectuales de la época, entre ellos Mary Somerville, matemática y divulgadora científica que se convirtió en una de sus principales mentoras, y Augustus De Morgan, destacado matemático y lógico. Esta educación permitió a Ada desarrollar una combinación poco común de razonamiento matemático e imaginación.

En 1833, cuando era todavía muy joven, Ada conoció al matemático e inventor Charles Babbage, quien estaba desarrollando máquinas mecánicas capaces de realizar cálculos. Babbage quedó impresionado por sus conocimientos y la llamó la “Encantadora de los números”. Ada se interesó especialmente por su proyecto más ambicioso: la Máquina Analítica, una máquina mecánica que, aunque nunca llegó a construirse completamente, incorporaba ideas muy avanzadas para su época.

En 1835, Ada se casó con William King, quien posteriormente heredó el título de conde de Lovelace. A partir de entonces, ella pasó a ser conocida como Ada, condesa de Lovelace. A pesar de sus responsabilidades familiares y de las limitaciones que sufrían las mujeres para participar en la ciencia, continuó estudiando matemáticas y manteniendo su relación intelectual con Babbage.

Sus padres, Anne Isabella Milbanke Byron (1792–1860) y George Gordon Byron, Lord Byron (1788–1824)

Su trabajo más importante se produjo entre 1842 y 1843. Ada tradujo al inglés un artículo del ingeniero italiano Luigi Menabrea sobre la Máquina Analítica de Babbage, pero añadió siete extensas notas propias. Estas notas terminaron siendo mucho más largas que el artículo original y constituyeron una explicación profunda de las posibilidades de aquella máquina.

Ada murió en Londres el 27 de noviembre de 1852, a los 36 años. Siguiendo sus propios deseos, fue enterrada junto a su padre, Lord Byron, en la iglesia de St. Mary Magdalene, Hucknall, en Nottinghamshire.

En 1979, el Departamento de Defensa de Estados Unidos bautizó un lenguaje de programación como Ada en su honor. En 2009, se creó el Ada Lovelace Day  por Suw Charman-Anderson, escritora y defensora de la participación de las mujeres en la tecnología. Se escogió una fecha en octubre para crear una jornada internacional dedicada a visibilizar las aportaciones de las mujeres en ciencia, tecnología, ingeniería y matemáticas. La celebración se fijó inicialmente en una fecha concreta de octubre y posteriormente se estableció como el segundo martes de octubre, lo que permite que el día se celebre cada año en una fecha distinta. 

Representación de Ada y Babbage con la máquina Analítica

Durante su vida, su trabajo científico recibió poca atención y su figura fue conocida principalmente por ser la hija de Lord Byron. Sin embargo, con el desarrollo de los ordenadores durante el siglo XX, sus escritos adquirieron una enorme importancia y actualmente se la considera una figura fundamental en la historia de la informática.

El legado científico de Ada Lovelace fue su trabajo sobre la Máquina Analítica de Charles Babbage. Ella comprendió que aquella máquina podía ser mucho más que una calculadora: podía convertirse en una máquina programable y de propósito general, capaz de seguir una serie de instrucciones para resolver diferentes problemas. Esta idea anticipó uno de los principios fundamentales de los ordenadores modernos.

Su contribución más conocida aparece en la Nota G, donde explicó mediante una secuencia detallada de operaciones cómo la Máquina Analítica podría calcular los números de Bernoulli. Este trabajo se considera habitualmente el primer algoritmo publicado destinado a ser ejecutado por una máquina y es la razón principal por la que Ada Lovelace es reconocida como la primera programadora de la historia.

Por todo ello, Ada Lovelace es considerada una pionera de la informática. Su importancia no reside en haber construido un ordenador, sino en haber comprendido, casi un siglo antes de la aparición de los primeros ordenadores electrónicos, qué podía llegar a hacer una máquina programable. Su pensamiento combinó matemáticas, lógica e imaginación y abrió una perspectiva que sería fundamental para el posterior desarrollo de la informática. 

La Nota G

Diagrama para el cálculo de los números de Bernoulli 
mediante la máquina analítica en la Nota G

En 1840, Charles Babbage impartió en Turín la única conferencia pública de su vida sobre la Máquina Analítica. Durante el seminario, el matemático Luigi Menabrea escribió una descripción de la máquina en francés. Para contribuir a su difusión, Charles Wheatstone sugirió que Ada Lovelace tradujera el texto al inglés, mientras que Babbage le propuso ampliarlo con apéndices. Lovelace compiló al final de su traducción una serie de siete notas, etiquetadas de la A a la G, firmando con las iniciales «A.A.L.» al publicarse en las Memorias Científicas de Taylor en agosto de 1843.

En estas notas, tres veces más extensas que el artículo original, Lovelace presentó una visión de la máquina mucho más ambiciosa que la del propio Babbage. En las primeras secciones, fue más allá de las aplicaciones estrictamente numéricas y sugirió que la Máquina Analítica podía aprovechar el cálculo para abordar la música, los gráficos y el lenguaje.

La Note G es el apéndice final y más célebre del conjunto. En ella, Lovelace detalló un algoritmo diseñado para calcular los números de Bernoulli utilizando las tarjetas perforadas de la máquina. Este trabajo es considerado históricamente como el primer programa informático publicado.

El algoritmo empleaba una ecuación recursiva para generar la serie numérica a partir de valores anteriores. Aunque la máquina nunca llegó a construirse y el código no se probó en su época, análisis informáticos modernos han demostrado que la lógica de Lovelace era funcional, a pesar de un pequeño error de transposición de variables en una división.

Además, el texto incluye reflexiones filosóficas sobre los límites de la computación, argumentando que la máquina solo ejecuta lo que se le ordena explícitamente y carece de la capacidad de originar conocimiento por sí misma. En 1950, Alan Turing bautizó esta postura como "La objeción de Lady Lovelace" al debatir sobre la inteligencia artificial.

En conjunto, la Note G trascendió como una pieza fundamental de la informática, consolidando a Lovelace como una figura visionaria que comprendió que las máquinas podían ir más allá de los cálculos matemáticos para procesar instrucciones complejas de carácter general.

 

El legado matemático de Sophie Germain

Marie-Sophie Germain (1776–1831) fue una matemática, física y filósofa francesa cuya trayectoria destaca por una extraordinaria autodeterminación intelectual. Nacida en París en una familia acomodada de la alta burguesía —su padre, Ambroise-François Germain, era un próspero comerciante de sedas y joyero que posteriormente fue diputado en la Asamblea Nacional y director del Banco de Francia—, Sophie creció en un hogar donde se debatían ideas de reforma liberal. Descubrió su pasión por las matemáticas a los trece años, en 1789, en medio del estallido de la Revolución Francesa. Con la ciudad sumida en el caos y su libertad de movimiento restringida por la agitación social, decidió refugiarse en la extensa biblioteca de su padre. Allí quedó fascinada por la historia de la muerte de Arquímedes relatada en la Historia de las Matemáticas de Étienne Montucla: la imagen del sabio griego tan abstraído en un problema geométrico que ignoró las advertencias de un soldado romano hasta perder la vida la conmovió profundamente, convenciéndola de que una disciplina capaz de generar semejante fascinación era el refugio perfecto frente a la turbulencia del mundo exterior.

A pesar de la drástica oposición de sus padres —quienes consideraban las matemáticas como una ocupación inaceptable e impropia para una joven burguesa y llegaron a retirarle la calefacción, la luz de las velas y la ropa de abrigo para impedir que estudiara de noche—, Sophie no se rindió. Esperaba a que sus padres se durmieran, se envolvía en mantas y continuaba leyendo a la luz de cabos de vela guardados en secreto. Tras encontrarla una mañana dormida sobre su escritorio, con la tinta congelada en el tintero pero rodeada de cálculos, sus padres comprendieron la firmeza de su vocación y cedieron de forma progresiva, apoyándola económicamente durante el resto de su vida. Para profundizar en las obras originales de figuras como Isaac Newton y Leonhard Euler, aprendió latín y griego de forma totalmente autodidacta.

Sin posibilidad de acceder de manera formal a la recién creada École Polytechnique en 1794 debido a su género, Germain logró obtener los cuadernos de notas de los cursos a través de estudiantes masculinos. Inició entonces un fructífero intercambio epistolar con el célebre matemático Joseph-Louis Lagrange utilizando el seudónimo «Monsieur LeBlanc» (tomado de Antoine-Auguste Le Blanc, un estudiante real que había abandonado la institución). Al quedar profundamente impresionado por la originalidad y perspicacia de las observaciones recibidas al final del curso de análisis, Lagrange solicitó conocer al autor; al descubrir que tras la firma se hallaba una mujer de dieciocho años, mantuvo intacto su respeto, convirtiéndose en su mentor y consejero.

Años más tarde, Germain adoptó el mismo seudónimo para iniciar una correspondencia con Adrien-Marie Legendre —con quien colaboró tan estrechamente en la teoría de números que este incluyó varios de sus hallazgos en sus publicaciones— y con Carl Friedrich Gauss, a quien escribió en 1804 tras dominar las complejas demostraciones de sus Disquisitiones Arithmeticae. En 1806, durante las Guerras Napoleónicas y la ocupación francesa de la ciudad natal de Gauss (Braunschweig), el recuerdo del trágico destino de Arquímedes alertó a Sophie sobre la seguridad del matemático alemán. Decidida a protegerlo, intercedió por él ante el general Pernety, un amigo militar de la familia Germain. Cuando los oficiales franceses le informaron a Gauss que una dama llamada Sophie Germain había velado por su vida, Gauss confesó no conocer a nadie con ese nombre, lo que obligó a Sophie a revelarle su verdadera identidad por carta.Cuando Gauss descubrió que «M. Le Blanc» era Sophie Germain, le escribió expresando su admiración. La parte más citada dice:

"Cuando una mujer, a causa de su sexo, de nuestras costumbres y de nuestros prejuicios, encuentra infinitamente más obstáculos que los hombres para familiarizarse con estos difíciles problemas, pero consigue superar esas trabas y penetrar en sus partes más oscuras, posee sin duda el más noble valor, un talento extraordinario y un genio superior." 

Imagen basada en un grabado de Marie-Sophie Germain (1776–1831) en 1860

A partir de 1809, Germain reorientó parte de sus investigaciones hacia la física matemática motivada por los experimentos de Ernst Chladni sobre placas vibrantes. Pese a carecer de formación académica oficial en cálculo de variaciones, dedicó más de seis años a competir por el gran premio convocado por la Academia de Ciencias de París. En 1815 (otorgado oficialmente en 1816), tras refinar progresivamente la precisión de sus cálculos, se convirtió en la primera mujer en ganar un premio de la Academia de Ciencias por su trabajo sobre la teoría de la elasticidad de las superficies, sentando las bases teóricas de la acústica moderna y la ingeniería de estructuras.

 

Además de sus grandes contribuciones a la teoría de números —destacando sus avances en el Último Teorema de Fermat y la formulación de los primos de Sophie Germain—, cultivó una faceta filosófica profundamente madura. En sus escritos analizó la unidad del pensamiento humano y las similitudes metodológicas entre las ciencias y las humanidades, ideas que su nepos y albacea literario, Amand-Jacques Lherbette, recopiló póstumamente en sus Œuvres philosophiques. Murió en París el 27 de junio de 1831 a los 55 años a causa de un cáncer de mama, tras haber sobrellevado la enfermedad durante dos años en silencio mientras continuaba trabajando. Murió poco antes de que la Universidad de Gotinga pudiera entregarle el título de doctora honoris causa impulsado por Gauss, y de que la sociedad científica de la época llegara a reconocer plenamente el alcance de su legado en vida.

"A la memoria de Sophie Germain, filósofa, 1776–1831". Retrato de Berthe Chégaray, publicado en La Revue des revues en 1898. No existen retratos conocidos realizados durante su vida.

 Principales contribuciones a las matemáticas

1. Avances estructurales en el Último Teorema de Fermat. Durante más de un siglo después de que Pierre de Fermat enunciara su famoso teorema (\(x^n + y^n = z^n\) no tiene soluciones enteras no nulas para \(n > 2\)), los matemáticos intentaron abordarlo probando exponentes individuales uno por uno (como \(n=3\), \(n=4\) o \(n=5\)). Sophie Germain revolucionó este enfoque al proponer una estrategia general enfocada en familias enteras de exponentes primos.

• Caso 1 del Teorema de Fermat: Germain dividió la demostración del teorema para un exponente primo \(p\) en dos casos independientes:
  • Caso 1: Ninguna de las variables \(x\), \(y\), \(z\) es divisible por \(p\).
  • Caso 2: Exactamente una de las variables \(x\), \(y\), \(z\) es divisible por \(p\).
• El Teorema de Sophie Germain (c. 1819): Demostró que si \(p\) es un número primo tal que \(2p + 1\) también es primo (o cumple ciertas condiciones auxiliares de residuos cuadráticos), entonces el Caso 1 del Último Teorema de Fermat es verdadero para ese exponente \(p\). Es decir, no existen soluciones enteras \(x, y, z\) donde \(p\) no divida al producto \(xyz\).
• Impacto: Este resultado permitió demostrar de un solo golpe el Caso 1 para todos los primos menores que \(100\), marcando el avance más importante en el problema de Fermat desde el siglo XVII hasta los trabajos de Ernst Kummer a mediados del siglo XIX.

2. Definición de los primos de Sophie Germain Como consecuencia directa de sus investigaciones sobre Fermat, introdujo una clase especial de números primos que hoy lleva su nombre:

• Definición: Un número primo \(p\) se denomina primo de Sophie Germain si el número \(q = 2p + 1\) también es un número primo (en cuyo caso \(q\) recibe el nombre de primo seguro).
• Ejemplos:
  • Si \(p = 2\), \(2(2) + 1 = 5\) (ambos son primos).
  • Si \(p = 3\), \(2(3) + 1 = 7\) (ambos son primos).
  • Si \(p = 5\), \(2(5) + 1 = 11\) (ambos son primos).
  • Si \(p = 11\), \(2(11) + 1 = 23\) (ambos son primos).
• Relevancia actual: Aunque fueron concebidos para la teoría analítica de números en el siglo XIX, los primos de Sophie Germain y sus correspondientes primos seguros desempeñan un papel fundamental en la criptografía moderna de clave pública (como en la generación de claves en el algoritmo RSA y el protocolo de Diffie-Hellman), debido a la dificultad computacional de calcular logaritmos discretos sobre estos grupos.

3. Teoría de la elasticidad y geometría diferencial de superficies. En 1809, la Academia de Ciencias de París planteó un certamen matemático para explicar el comportamiento de las placas elásticas vibrantes observado por el físico Ernst Chladni. En ese momento no existía un marco matemático riguroso para la mecánica de medios continuos en dos dimensiones.

• Ecuación diferencial de las placas elásticas: Germain dedicó más de seis años a formular la ecuación fundamental del movimiento de placas elásticas delgadas. Tras pulir su rigor y corregir errores analíticos con ayuda de Lagrange, derivó la ecuación diferencial parcial de cuarto orden:
  \[N \left( \frac{\partial^4 z}{\partial x^4} + 2\frac{\partial^4 z}{\partial x^2 \partial y^2} + \frac{\partial^4 z}{\partial y^4} \right) + \frac{\partial^2 z}{\partial t^2} = 0\]
• Concepto de curvatura media: En el desarrollo de su teoría de la elasticidad, introdujo por primera vez en la geometría diferencial la noción de la curvatura media (\(H\)) de una superficie definida en un punto, expresada como la suma o el promedio de las curvaturas principales (\(k_1 + k_2\)). Este concepto precede y complementa la noción de curvatura gaussiana (\(K = k_1 \cdot k_2\)) introducida posteriormente por Gauss.
• Reconocimiento: En 1815 (otorgado oficialmente en 1816), Germain ganó el extraordinario premio de la Academia de Ciencias de París por su obra Récherches sur la théorie des surfaces élastiques, convirtiéndose en la primera mujer en obtener este galardón y sentando las bases teóricas de la acústica y la ingeniería de estructuras elásticas.

4. Investigación en teoría de residuos cuadráticos y álgebra. A lo largo de su intensa correspondencia con Adrien-Marie Legendre, investigó las leyes de reciprocidad cuadrática y la distribución de los residuos de potencias. Varias de sus demostraciones y descubrimientos algebraicos fueron incluidos directamente por Legendre como suplementos en las posteriores ediciones de su obra