A publication about a proposed machine
In 1843 Ada Lovelace collaborated with Babbage on an account of the Analytical Engine, adding notes to a description by Luigi Menabrea. Oxford's manuscript-based exhibit includes a diagram showing the steps of a Bernoulli-number calculation. The complete engine was not built, so the publication is evidence of a described computation, not a record of a completed engine running it.
What the date means
The year marks the explanatory publication, not the design of every part, the origin of all algorithms or an uncontested first-program milestone. Oxford explicitly cautions against a simple first-computer-programme label. The chapter on mechanical computing places the work beside calculators, card control and difference engines.
Read the evidence carefully
A later reconstruction or modern simulation can test aspects of a design under specified conditions. It cannot retrospectively turn the published diagram into a nineteenth-century execution report. This entry makes no hardware performance claim.
Verification record
- Sources assessed by Codex (assistant)
- No executable example check recorded
- Independent human review pending
Selected claims have been assessed against the passages below. This record does not certify every sentence or guarantee correctness.
Inspect claims, evidence and limitations
Source assessment: . 1 of 1 selected claims marked supported by the assessor. This is not a coverage percentage for the article.
The 1843 account with Lovelace’s notes describes computations for Babbage’s unbuilt complete Analytical Engine.
Assessor finding: supported · historical · Article passage
- Oxford History of Science Museum, Imagining AI — Analytical Engine — Analytical Engine, 1843 collaboration and Bernoulli calculation diagram captions
Passage read: Named passage inspected during the related chapter assessment in this session.
Selected documented milestone; no unqualified first-ever priority claim.
- Oxford History of Science Museum, Imagining AI — Analytical Engine — Analytical Engine, 1843 collaboration and Bernoulli calculation diagram captions
Reproducible checks
These historical or editorial claims have no executable truth test. Source assessment and human review remain separate.
Limits and open work
- Publication, experiment and deployment are distinguished; no historical hardware or software was executed for this event.
- Independent human review remains pending.
Independent human review
Pending. No independent human reviewer has signed off this version.
Content fingerprint: 1d03c072422d2e1292668505a97d200bda4f7ea367518a679b3e6c0da60a0902. An article change invalidates this assessment.
Sources
Published by devutils · Updated · Original explanatory text; sources retain their own terms.