Mothers of Computing
The digital world did not suddenly begin with Lovelace's 1843 table. Trace how Hypatia's teaching, Agnesi's textbook, Germain's workaround, and Noether's abstract structures widened the intellectual ground on which mathematical computing grew.
Select a card to move the map to that location.
Hypatia
A mathematician and philosopher whose own works are mostly lost but whose presence is vivid in letters and histories. Hypatia taught Neoplatonic philosophy and mathematics in Alexandria, and later sources associate her with commentaries on Diophantus and Apollonius. Her murder in 415 arose amid intertwined civic, political, and religious conflict; ancient accounts differ on its details. It should not be reduced to the single instant when the Library of Alexandria or all ancient learning ended.
Maria Agnesi
Maria Agnesi wrote an important systematic textbook of eighteenth-century calculus. Published in Milan in two volumes in 1748 and 1749, her Instituzioni analitiche ad uso della gioventù italiana organized algebra, analytic geometry, differential calculus, and integral calculus into a connected course. Pope Benedict XIV praised the work, and in 1750 Agnesi was offered a mathematics chair at the University of Bologna. Her name remained on the university rolls, but she never taught there. She later devoted most of her life to religious work and care for poor and ill people in Milan. The name “Witch of Agnesi” is commonly explained as a confusion that arose while translating the Italian word versiera into English.
Sophie Germain
A Parisian mathematician who built independent routes into number theory and elastic plates outside the university classroom. Because women could not enroll at the École Polytechnique, Germain obtained lecture notes and submitted work under the male name Le Blanc, first to Lagrange and later to Gauss. During the Napoleonic wars she asked General Pernety to protect Gauss; this revealed her identity in 1807, and Gauss’s letter praised the talent and courage required to study through such barriers. On Fermat’s Last Theorem she used auxiliary primes to treat the “first case” for many exponents. This is an important chapter of nineteenth-century partial results, not a component directly used in Wiles’s 1995 proof. Her work on vibrating plates passed through errors and revisions before winning the French Academy prize in 1816. Alongside exclusion, the story shows how failed drafts can become better models.
Ada Lovelace
A nineteenth-century mathematical writer who imagined what an unbuilt machine might do. After seeing Charles Babbage's Difference Engine in 1833, Ada Lovelace studied his plans for the Analytical Engine. In 1843 she translated Luigi Menabrea's article and added seven notes far longer than the original; Note G tabulated a procedure by which the unfinished Engine could calculate Bernoulli numbers. The Science Museum describes it as the first published algorithm and a document sometimes credited as the first computer program. The single label “first programmer” remains debated because of collaboration with Babbage and competing definitions of a program. Her clearer achievement was to see that a general machine could manipulate symbols, letters, or music as well as numbers — all while the machine itself remained unbuilt.
Emmy Noether
A central architect of modern abstract algebra whose 1918 theorems connected continuous symmetries of variational problems with conservation laws. She worked for years without a regular position, then transformed research communities in Göttingen and, after Nazi dismissal, in the United States.
The Path of Women in Mathematics — 1600 Years of Challenge
From Hypatia through Germain, Lovelace, Noether, and Mirzakhani, educational, publishing, and professional barriers differed by time and place. The journey asks what each person studied and how institutions changed, rather than presenting a list of “firsts” alone.
Beginner → Intermediate
Ready for intermediate depth?
Use small calculations and comparisons to test a rule, then connect it to real technology.
Next takeaway · One pattern you verified yourself
Open a intermediate path