# Augusta Ada Lovelace

### Mathematician, First Programmer — 1815–1852 — England

> _"The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform."_

---

## Why This Matters

You cannot understand the history of computation without understanding Ada Lovelace. In 1843, she published what is now recognized as the first computer program — an algorithm for calculating Bernoulli numbers on Charles Babbage's Analytical Engine. But her contribution extends far beyond that single algorithm. In her Notes on the Analytical Engine, she articulated the philosophical foundations of computation: that a machine manipulating symbols according to rules could process not just numbers but any domain expressible in symbolic form — music, logic, language. She grasped both the power and the limits of mechanical computation a century before electronic computers existed. When you write code that transforms data according to rules, you are standing on ground Ada Lovelace first surveyed.

---

## Quick Reference

| Attribute | Value |
|-----------|-------|
| **Registry #** | 19 |
| **Born** | 10 December 1815, London, England |
| **Died** | 27 November 1852, London, England (age 36) |
| **Active Period** | 1833–1852 |
| **Fields** | Mathematics, Computing, Philosophy of Mind |
| **Known For** | First published computer program; Notes on the Analytical Engine; philosophy of computation |
| **Influenced By** | Charles Babbage, Mary Somerville, Augustus De Morgan |
| **Influenced** | Alan Turing (implicitly, via "Lady Lovelace's Objection"); all subsequent programmers |

---

## Table of Contents

1. [Origins & Formation](#1-origins--formation)
2. [Intellectual Genealogy](#2-intellectual-genealogy)
3. [The Work: Chronological](#3-the-work-chronological)
4. [Core Ideas & Contributions](#4-core-ideas--contributions)
5. [Impact & Legacy](#5-impact--legacy)
6. [Study Guide: The Mental Model](#6-study-guide-the-mental-model)
7. [Going Deeper: Sources](#7-going-deeper-sources)

---

## 1. Origins & Formation

### A Note on Historical Sources

> **On Documentation:** Unlike ancient figures, Ada Lovelace's life is extensively documented. Her correspondence survives — letters to Babbage, De Morgan, and her mother. Her published Notes are extant. Contemporary accounts exist. The challenge is not scarcity but interpretation: separating Victorian hagiography and modern mythologizing from the actual historical record. The following reconstruction draws on primary sources and recent scholarly work.

### Early Life & Context

> _Etymology: **Augusta Ada Byron** was named after Byron's half-sister Augusta Leigh. She became **Ada King** upon marriage, and **Countess of Lovelace** when her husband was elevated to the peerage in 1838. She signed her Notes simply "A.A.L."_

Ada was born in London on **10 December 1815**, the only legitimate child of the poet **George Gordon, Lord Byron**, and **Anne Isabella Milbanke** (Annabella). The marriage was disastrous — Byron and Annabella separated when Ada was one month old. Byron left England forever, dying in Greece when Ada was eight. She never knew her father.

**England in the Early 19th Century:**
- The Industrial Revolution transforming society — machines replacing human labor
- The Romantic movement reacting against mechanism and rationalism
- Mathematical and scientific culture flourishing (Babbage, Herschel, Faraday)
- Women largely excluded from formal education and scientific institutions
- Yet aristocratic women could access private tutors and intellectual salons

Annabella, herself mathematically educated, deliberately raised Ada in mathematics and science — partly from genuine belief in their value, partly to suppress any "Byronic" poetic tendencies. This systematic mathematical education, unusual for women of the era, would prove foundational.

### Education & Training

| Period | Context | Focus | Teachers |
|--------|---------|-------|----------|
| Childhood | Private tutoring at home | Mathematics, music, French | Various governesses |
| 1832–1833 | Introduction to London society | Mathematics | Mary Somerville (informal mentor) |
| 1833–1835 | Post-Somerville study | Higher mathematics | Augustus De Morgan (correspondence) |
| 1840–1843 | Collaboration with Babbage | Analytical Engine, computation | Charles Babbage (collaborative) |

**The Educational Context:**

Women could not attend universities in 1830s England. No degrees, no lectures, no laboratories. Ada's education came through three channels: private tutors hired by her mother, correspondence study with willing scholars, and access to intellectual society through aristocratic connections.

**Key Early Influences:**

**Mary Somerville (1780–1872):** The great scientific translator and expositor. Somerville translated Laplace's _Mecanique Celeste_ into English and wrote _On the Connexion of the Physical Sciences_. She befriended the teenage Ada and introduced her to Charles Babbage in 1833. Somerville modeled what a woman could achieve in science.

**Charles Babbage (1791–1871):** At their first meeting, Babbage showed Ada his prototype Difference Engine. She was seventeen. Most visitors saw a clever mechanical curiosity. Ada grasped immediately what it implied — the mechanization of thought itself.

### Formative Influences

**The Byronic Shadow:**

Ada never knew her father, but his reputation haunted her. She was "Byron's daughter" to society. Her mother's campaign to make her mathematical rather than poetic shaped her entire education. Yet Ada saw no contradiction — she called her approach "poetical science," seeking to unite imagination with analysis.

**Illness and Determination:**

Ada suffered from poor health throughout her life — measles at fourteen left her bedridden and partially paralyzed for three years. She used this confinement to study. Her later correspondence reveals chronic pain and eventual uterine cancer (likely the cause of her early death). She worked through illness with remarkable persistence.

**Marriage and Position:**

In 1835, Ada married William King, later Earl of Lovelace. The marriage provided social position, financial security, and three children (Byron, Annabella, Ralph). William supported her intellectual work — a crucial factor in an era when husbands controlled wives' activities.

---

## 2. Intellectual Genealogy

### The Lineage: Who Influenced Ada

```
Leibniz (calculus, symbolic reasoning)
        │
        ▼
Laplace (mathematical astronomy)
        │
        ├───────────────────────────────┐
        ▼                               ▼
Mary Somerville                    Charles Babbage
(translator, mentor)               (Difference Engine, Analytical Engine)
        │                               │
        └───────────────┬───────────────┘
                        │
                        ▼
                ┌─────────────┐
                │ ADA LOVELACE │
                └─────────────┘
                        │
                        ▼
┌───────────────────────────────────────────────────────────────────────┐
│ (Analytical Engine never built — ideas lay dormant)                    │
│                                                                        │
│ ───────────────────── 100 year gap ────────────────────────           │
│                                                                        │
│ Alan Turing (1936) — cites "Lady Lovelace's Objection" in             │
│                      discussing machine intelligence                   │
│                                                                        │
│ First electronic computers (1940s) — finally implement the            │
│                                        architecture she analyzed       │
│                                                                        │
│ Programming as discipline — realizes her vision                       │
└───────────────────────────────────────────────────────────────────────┘
```

**Direct Influences on Ada:**

- **Charles Babbage:** The inventor whose machines she analyzed; their collaboration produced her greatest work
- **Mary Somerville:** Mentor who demonstrated that women could do serious science; introduced Ada to Babbage
- **Augustus De Morgan:** Mathematician who taught her via correspondence; developed her rigorous analytical skills
- **Luigi Menabrea:** The Italian engineer whose article on the Analytical Engine she translated
- **George Peacock:** Algebraist whose symbolic approach to mathematics informed her thinking

**Contextual Influences:**

- **The Jacquard Loom:** Babbage explicitly drew on Jacquard's use of punched cards to control weaving patterns. Ada grasped this as the key insight — the separation of instructions (the program) from the machine (the hardware)
- **Romantic Imagination:** Despite her mother's efforts, Byron's legacy gave Ada a sense of grand possibility, of thinking beyond conventional limits
- **Industrial Revolution:** The culture of mechanism and improvement; machines doing what humans once did

### The Lineage: Who Ada Influenced

**Immediate Impact:**

The Notes were published in 1843. Babbage praised them. A few mathematicians read them. The Analytical Engine was never built. Ada's work entered a kind of suspended animation — brilliant analysis of a machine that didn't exist.

**20th Century Rediscovery:**

| Figure | Era | Connection |
|--------|-----|------------|
| **Alan Turing** | 1950 | Cites "Lady Lovelace's Objection" in "Computing Machinery and Intelligence" — the claim that machines can only do what we tell them |
| **B.V. Bowden** | 1953 | Reprints the Notes in _Faster Than Thought_, introducing them to early computer scientists |
| **Computer historians** | 1970s+ | Recognition of Ada as first programmer; debates about the extent of her contribution |
| **DoD** | 1980 | Names the Ada programming language after her |

**Ideas That Persist:**

| Lovelace Concept | Modern Manifestation |
|------------------|---------------------|
| Separation of engine and cards (hardware/software) | Stored-program architecture |
| Operations on symbols, not just numbers | Universal computation |
| "The machine can only do what we tell it" | Ongoing debates about AI capability |
| Algorithms expressed as step-by-step procedures | Programming methodology |

---

## 3. The Work: Chronological

### Master Timeline

| Period | Work | Type | Significance |
|--------|------|------|--------------|
| 1833 | First meeting with Babbage | Event | Sees Difference Engine; partnership begins |
| 1835 | Marriage to William King | Event | Gains social position enabling intellectual work |
| 1840–1841 | Correspondence with De Morgan | Study | Deepens mathematical training |
| 1842 | Menabrea article published | Context | Italian description of Analytical Engine |
| 1842–1843 | Translation and Notes | Publication | The defining work |
| 1843 | "Sketch of the Analytical Engine" published | Publication | First computer program; philosophy of computation |
| 1844–1852 | Continued interest, declining health | Period | Never published again; died at 36 |

### The Central Work: Notes on the Analytical Engine (1843)

> _Full title: "Sketch of the Analytical Engine Invented by Charles Babbage, Esq. By L. F. Menabrea, of Turin, Officer of the Military Engineers, with notes upon the Memoir by the Translator, Ada Augusta, Countess of Lovelace"_

**What It Is:**

In 1840, Babbage lectured on the Analytical Engine in Turin. Luigi Menabrea, an Italian military engineer (later Prime Minister of Italy), wrote up the lectures in French. Charles Wheatstone suggested Ada translate the article. She did — but her "Notes," lettered A through G, are three times longer than the original article. The Notes are the first substantial publication on computer programming.

**Structure:**

| Note | Topic | Significance |
|------|-------|--------------|
| **A** | General nature of the Engine | Distinguishes Difference Engine from Analytical Engine |
| **B** | Cards controlling operations | The hardware/software distinction |
| **C** | Example: simultaneous equations | Mathematical illustration |
| **D** | The "Store" and "Mill" | Memory and processor |
| **E** | Looping and iteration | Control flow |
| **F** | Relations between variables | Data dependencies |
| **G** | Bernoulli number algorithm | **The first computer program** |

**What Makes It Revolutionary:**

1. **First Published Algorithm for a Computer:** Note G contains a complete, step-by-step algorithm for computing Bernoulli numbers on the Analytical Engine. This is, by any reasonable definition, the first computer program.

2. **Hardware/Software Distinction:** Ada clearly articulates that the Engine's power comes from separation between the machine itself (unchanging) and the pattern of cards (changeable). The same machine can perform unlimited different computations.

3. **Universal Computation:** She writes that the Engine could process "other things besides number" — any domain that could be expressed symbolically. Music, for instance. This is the insight that computation is symbol manipulation, not mere arithmetic.

4. **Philosophical Limits:** "The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform." This is simultaneously a clear-eyed recognition of mechanical limits and an implicit challenge — the Turing test debates begin here.

**Why This Matters:**

> The Notes are not just a historical curiosity. Ada understood — before any computer existed — the fundamental architecture of computation: separation of hardware and software, stored programs, symbolic processing, iterative loops, the relationship between algorithm and machine. She wrote the first program and articulated why programming was possible. Every programmer since operates within the conceptual framework she established.

### Collaborative Context

**The Babbage-Lovelace Partnership:**

How much of the Notes is Ada, and how much is Babbage? This question has generated scholarly controversy. The evidence:

- Ada and Babbage corresponded extensively during composition; letters survive
- Babbage provided technical details and reviewed drafts
- The Bernoulli algorithm was likely developed collaboratively, but Ada wrote it up and corrected Babbage's errors
- The philosophical sections (the "originate anything" insight, the potential for non-numerical computation) appear to be distinctly Ada's contribution

**Consensus:** The algorithmic work was collaborative; the philosophical interpretation was primarily Ada's. She was not merely transcribing Babbage — she was synthesizing and extending.

---

## 4. Core Ideas & Contributions

### The Central Insight

Ada understood that a machine manipulating symbols according to fixed rules could perform computation in the fullest sense — not just arithmetic, but any formally expressible operation. The Analytical Engine was not a calculator; it was a universal symbol-processing machine. The program (the cards) was separate from the machine (the engine), meaning the same hardware could execute unlimited different algorithms.

This insight underlies:
- Stored-program architecture
- Universal computation
- The concept of software
- Programming as a discipline

### Key Concepts

#### The Mill and the Store

> _Babbage's terms, but Ada's exposition made them clear to readers._

**Definition:** The Analytical Engine had two main components — the **Store** (holding numbers, like modern memory) and the **Mill** (performing operations, like a modern CPU). Numbers moved from Store to Mill, were operated upon, and results returned to Store.

**Significance:** This is the fundamental architecture of computation — memory and processor, data and operations. Ada's Notes explain this clearly enough that readers could understand the logical structure without seeing the physical machine.

**Modern Application:** RAM and CPU; the von Neumann architecture.

#### Operation Cards and Variable Cards

> _The mechanism that makes programming possible._

**Definition:** The Engine would be controlled by two sets of punched cards — **Operation Cards** specifying what to do (add, multiply, etc.) and **Variable Cards** specifying which data to use. The same engine, with different cards, performs different computations.

**Significance:** This is software — instructions separate from hardware. Ada writes: "The Analytical Engine weaves algebraical patterns just as the Jacquard-loom weaves flowers and leaves."

**Modern Application:** Programs as distinct from computers; code as a separate artifact.

#### The Algorithm (Note G)

> _The first computer program._

**Definition:** Note G presents a complete algorithm for computing Bernoulli numbers — a sequence important in number theory. The algorithm is given as a detailed table showing each operation, which variables are involved, and the sequence of execution including loops.

**Significance:** This is unambiguously a program. It has variables, operations, sequence, iteration. It could be executed on the Engine if the Engine existed. Ada also noted and corrected errors, demonstrating she understood the algorithm deeply.

**Modern Application:** The very concept of writing down step-by-step computational procedures — programming itself.

#### "The Machine Can Only Do What We Tell It"

> _The philosophical boundary Ada identified._

**Definition:** In Note A, Ada writes: "The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform. Its province is to assist us in making available what we are already acquainted with."

**Significance:** This defines the boundary between mechanical computation and human thought — or does it? Turing would later cite this as "Lady Lovelace's Objection" when discussing whether machines could think. The debate continues.

**Modern Application:** Ongoing questions about AI creativity, machine learning, and whether sufficiently complex programs can "originate" anything.

### Theoretical Framework

Ada's conceptual model of computation:

```
INPUT:  Problem expressible in symbols
            │
            ▼
┌──────────────────────────────────────┐
│ THE ANALYTICAL ENGINE                │
│                                      │
│   CARDS           ────▶  MILL        │
│   (program)              (operations) │
│                              │       │
│                              ▼       │
│                          STORE       │
│                          (memory)    │
│                              │       │
│                              ▼       │
│                          Results     │
└──────────────────────────────────────┘
            │
            ▼
OUTPUT: Symbolic results (not just numbers)
```

Key features:
- Separation of program from machine
- Iterative loops (a card can return to earlier cards)
- Operations on symbols, not intrinsically numerical
- Deterministic — same input and program yields same output

### Innovations & Firsts

| Innovation | Description | Prior State | What Changed |
|------------|-------------|-------------|--------------|
| First program | Note G's Bernoulli algorithm | No programs existed | Programs as written artifacts |
| Software concept | Cards distinct from engine | Machine = computation | Separation of concerns |
| Universal computation glimpse | "Other things besides number" | Machines for specific tasks | Generality |
| Philosophical analysis | "Can only do what we tell it" | Unreflective mechanism | Conscious limits |

---

## 5. Impact & Legacy

### Immediate Impact

**In Ada's Lifetime:**

The Notes were published in Taylor's _Scientific Memoirs_ (1843). Babbage praised them extravagantly: "That Enchantress of Number has thrown her magical spell around the most abstract of Sciences." A few mathematicians and scientists read them.

But the Analytical Engine was never completed. Without a running machine, the Notes remained theoretical. Ada published nothing else substantial. She died in 1852, age 36, of uterine cancer — the same age at which Byron had died.

**Why the Limited Impact:**

- The Engine didn't exist; programming a nonexistent machine seemed purely academic
- Victorian gender bias limited recognition of women's scientific contributions
- Ada died young with no opportunity to continue or defend her work
- The Industrial Revolution was about physical machines, not information processing

### Long-Term Influence

**The 20th Century Rediscovery:**

| Decade | Development |
|--------|-------------|
| 1950s | Turing cites "Lady Lovelace's Objection"; Bowden reprints Notes |
| 1970s | Feminist recovery of women's scientific history highlights Ada |
| 1980 | U.S. Department of Defense names **Ada** programming language after her |
| 1990s+ | Popular recognition; Ada Lovelace Day established |

**In Computer Science:**

- The Notes are recognized as the first published computer program
- Her analysis of the Analytical Engine's architecture anticipates stored-program computers
- The hardware/software distinction, now fundamental, appears clearly in her work

**In Philosophy of Mind/AI:**

- "Lady Lovelace's Objection" remains central to debates about machine intelligence
- Turing's engagement with her argument shapes the field of AI
- The question of whether machines can "originate" anything remains open

**In History of Women in Science:**

- Ada became a symbol of women's contributions to computing
- Ada Lovelace Day (second Tuesday of October) celebrates women in STEM
- Scholarly debate about her actual contributions has complicated but not diminished her status

### The Counterfactual

> What if Ada had never collaborated with Babbage?

Babbage would still have designed the Analytical Engine. Menabrea's article would still have been written. But without Ada's Notes, the philosophical implications might have remained unexamined for decades longer. The explicit articulation of software as separate from hardware, of computation as symbol manipulation, of the limits of mechanical reasoning — these emerged from Ada's intellect engaging with Babbage's mechanics.

More significantly: without her clear exposition, the Analytical Engine would have been even more forgotten. The Notes preserved the conceptual content when the machine itself was never built.

### Recognition & Honors

| Era | Recognition |
|-----|-------------|
| 1843 | Publication in prestigious journal; Babbage's praise |
| 19th c. | Largely forgotten after death |
| 1953 | Notes reprinted in _Faster Than Thought_ |
| 1980 | Ada programming language named for her (U.S. DoD) |
| 2009 | Ada Lovelace Day established |
| 2015 | Bicentennial celebrations worldwide |
| Present | Recognized as first computer programmer |

---

## 6. Study Guide: The Mental Model

### The One Sentence

> **Ada Lovelace wrote the first computer program and articulated the philosophy of computation — that machines manipulating symbols according to rules can process any formally expressible domain, but "can only do what we tell them" — a century before electronic computers existed.**

### The Three Things to Remember

1. **First Programmer:** Note G's Bernoulli number algorithm is the first published computer program. She didn't just understand Babbage's machine — she showed how to program it.

2. **Software Insight:** She clearly articulated that the Engine's power came from separation between machine (fixed) and cards (changeable). Same hardware, different programs — this is software.

3. **Philosophical Limits:** "The machine can only do what we tell it to do" — a statement that defines both the power (we can tell it to do anything formalizable) and the limits (it cannot originate) of computation.

### The Visual

```
┌────────────────────────────────────────────────────────────────────┐
│                    ADA LOVELACE'S INSIGHT                          │
│               (The First Programmer's Framework)                   │
│                                                                    │
│                                                                    │
│   JACQUARD LOOM                    ANALYTICAL ENGINE               │
│   (pattern weaving)                (computation)                   │
│                                                                    │
│   CARDS → LOOM → Fabric    ═══    CARDS → ENGINE → Results        │
│     ▲              ▲                 ▲                ▲            │
│     │              │                 │                │            │
│   Pattern        Fixed            Program          Fixed           │
│   (changeable)   machine          (changeable)     machine         │
│                                                                    │
│   ───────────────────────────────────────────────────────────────  │
│                                                                    │
│   KEY INSIGHT: The cards are separate from the machine.            │
│                Change the cards, change the computation.           │
│                This is SOFTWARE.                                   │
│                                                                    │
│   PHILOSOPHICAL LIMIT: "It can do whatever we know how to          │
│                         order it to perform."                      │
│                        — but no more.                              │
│                                                                    │
└────────────────────────────────────────────────────────────────────┘
```

### Connecting to Other Figures

| If You Know... | Then Understand That Ada... |
|----------------|----------------------------|
| 18-Charles Babbage | Was not just his assistant but his intellectual collaborator and best interpreter |
| Alan Turing | Anticipated his arguments about machine capability — he responded to her directly |
| 20-George Boole | Was a contemporary; both saw that symbolic manipulation was the key to mechanizing thought |
| John von Neumann | Described the stored-program architecture she had conceptually grasped a century earlier |
| Modern programmers | Wrote the first program and articulated why programming was possible |

### Common Misconceptions

| Misconception | Reality |
|---------------|---------|
| "She just translated Menabrea's article" | Her Notes are three times longer than the original and contain all the important insights |
| "Babbage did the real work" | Collaborative, but the philosophical interpretation and the program write-up are distinctly hers |
| "First programmer" is a modern myth | The evidence is clear: Note G is a program; no earlier published program exists |
| "She thought machines could never be intelligent" | She thought they couldn't "originate" — which is more subtle; she left the question partially open |
| "Byron's daughter = romantic, not mathematical" | She called her approach "poetical science" — integration, not opposition |

### Test Your Understanding

1. **Conceptual:** Why is the separation of "cards" from "engine" — program from machine — such a crucial insight? What does it enable?

2. **Connection:** How does Ada's claim that machines "can only do what we tell them" relate to modern debates about artificial intelligence and machine learning?

3. **Genealogy:** Trace the path from Ada's Notes to modern computing — how did her ideas eventually reach and influence computer scientists?

---

## 7. Going Deeper: Sources

### Primary Sources

| Source | Type | Access | Notes |
|--------|------|--------|-------|
| "Sketch of the Analytical Engine, with Notes by the Translator" | Translation + Notes | [Fourmilab](https://www.fourmilab.ch/babbage/sketch.html) | The complete 1843 publication online |
| Ada's correspondence with Babbage | Letters | British Library; partially published | Reveals the collaboration process |
| Ada's correspondence with De Morgan | Letters | Partially published in biographies | Shows her mathematical development |
| Menabrea's original article | Technical paper | Included with Notes | The article she translated |

### Essential Secondary Sources

| Source | Author | Type | What It Covers |
|--------|--------|------|----------------|
| _Ada: A Life and a Legacy_ | Dorothy Stein | Biography | Critical scholarly biography; questions some claims |
| _Ada's Algorithm_ | James Essinger | Biography | Accessible popular account |
| _Ada, the Enchantress of Numbers_ | Betty Alexandra Toole | Letters | Published correspondence with commentary |
| _The Difference Engine_ | Doron Swade | History | Babbage's machines; context for Ada's work |
| "Ada Lovelace: The Making of a Computer Scientist" | Christopher Hollings et al. | Academic study | Recent scholarly analysis |

### Modern Introductions

- **For general readers:** James Essinger's _Ada's Algorithm_ is engaging and accessible
- **For historical context:** Doron Swade's work on Babbage provides essential background
- **For primary sources:** Betty Toole's edition of Ada's letters
- **For scholarly debate:** Dorothy Stein's biography is critical and important, even if contested

### Online Resources

- [Fourmilab: Babbage Pages](https://www.fourmilab.ch/babbage/) — Complete text of the Notes, Babbage's writings
- [Ada Lovelace Day](https://findingada.com/) — Annual celebration, resources on women in computing
- [Computer History Museum](https://computerhistory.org/) — Exhibits and resources on Babbage and Lovelace
- [Mathematical Association of America](https://www.maa.org/) — Articles on Ada's mathematical work
- Stanford Encyclopedia of Philosophy: Entry on "Computation in Physical Systems" engages with her arguments

---

## Appendix: Handling Uncertainty

> **Note on Attribution:** Scholarly debate continues about the extent of Ada's contribution versus Babbage's. The evidence:
>
> **Clear:** She wrote the Notes; the prose and philosophical analysis are hers; she corrected errors in the Bernoulli algorithm.
>
> **Debated:** How much mathematical insight was original versus transmitted by Babbage; whether she could have produced the algorithm independently.
>
> **Consensus:** She was a genuine intellectual collaborator, not merely an amanuensis. The philosophical interpretation is distinctly hers. Whether she was a "great mathematician" or a "great synthesizer and expositor" remains contested, but her significance is not.

| Claim | Confidence | Source |
|-------|------------|--------|
| Wrote the Notes (1843) | Certain | Published under her name |
| First published computer program | High | Note G; no earlier program known |
| Philosophical insights original to her | High | Not in Menabrea; correspondence shows her thinking |
| Mathematical ability | Medium | De Morgan praised her potential; she made errors; she also corrected Babbage's errors |
| Would have done more if she lived | Unknown | Possible but counterfactual |

---

_Last updated: 2026-03-26. This is a living document._