The first fact about Leibniz in a public catalog is a court counsellor who also printed a calculus, not a patron saint of later computers. GWLB at https://www.gwlb.de/leibniz (opens in a new tab) holds the Nachlass and the surviving reckoner. SEP at https://plato.stanford.edu/entries/leibniz/ (opens in a new tab) and the calculus entry at https://plato.stanford.edu/entries/calculus/ (opens in a new tab) date the metaphysics and the 1684 paper. Britannica at https://www.britannica.com/biography/Gottfried-Wilhelm-Leibniz (opens in a new tab) and MacTutor at https://mathshistory.st-andrews.ac.uk/Biographies/Leibniz/ (opens in a new tab) independently confirm offices and years. The Royal Society’s 1712 Commercium Epistolicum at the institutional portal https://royalsociety.org/ (opens in a new tab) is a polarisation instrument in a priority dispute. Newton is a parallel and a conflict counterpart, not a colleague in a shared office. Offsets are also URLs. BBAW at https://www.bbaw.de/ (opens in a new tab) carries the later Berlin academy as successor of the 1700 Brandenburg Society. The 1673 London model is a machine, not a microchip. The 1703 binary memoir is a notation, not a stored-program welfare path. What the score must not say: that he wrote Principia; that 1673 is 1945; that 1700 is a modern research council’s whole budget; that Guelph genealogy is the Act of Settlement; that Arnauld letters are a church union. Complex contribution is the honest type. Confidence is high on 1684, 1673, 1676, 1700, 1710, and 1712; medium on unique academy-output series; low on later computing as his act. Related people are Huygens, Newton as conflict, Sophie of Hanover, Johann Bernoulli, Arnauld, Spinoza, Pascal as machine predecessor. 1684 is a paper. 1673 is a model. 1700 is a charter. 1712 is a quarrel. Keep them unmerged. MacTutor at https://mathshistory.st-andrews.ac.uk/Biographies/Leibniz/ (opens in a new tab) independently dates Paris, binary, and the Acta paper. A reader checking this Person should open GWLB for the Nachlass and machine, the Akademie-Ausgabe for letters, SEP for metaphysics and calculus, and the Royal Society heading for 1712, then stop. Posthumous academy renamings, critical editions, and later electronic computing are evidence, not additional acts. A stepped drum is still a seventeenth-century object. A 1684 notation is still a Leipzig article. A 1700 charter is still an elector’s paper. Later academy portals, Nachlass catalogues, and encyclopedia pages remain evidence, not additional lifetime acts. Shared work with Huygens, court copyists, and Leipzig printers remains named. He did not file a twentieth-century computer. Later engineers did that work. Shared work remains named.
Calculation, binary notation and a broader symbolic project
Leibniz treated calculation as part of a larger program for making reasoning explicit. In 1666, while still a young scholar, he published Dissertatio de arte combinatoria, an early attempt to imagine a systematic calculus of concepts. His practical work developed alongside that ambition: during the 1670s he designed a calculating machine capable of the four basic arithmetic operations. The Stanford Encyclopedia of Philosophy (opens in a new tab) records his Paris years from 1672 to 1676, his contact with Christiaan Huygens and his work on differential calculus. In 1703 he published his well-known account of binary arithmetic, showing how numbers could be represented using only zero and one. The binary work was not an isolated curiosity. Leibniz connected it to logic, combinatorics and a universal symbolic language, and he corresponded with the Jesuit Joachim Bouvet about Chinese material that he believed echoed the same two-state pattern. Those interpretations of China were historically speculative, but the mathematical notation itself became one of his most durable technical legacies.
Court service constrained the 'universal genius'
Leibniz's intellectual range was sustained by court employment that also consumed much of his time. After the death of his Mainz patron, he entered the service of the House of Hanover in 1676 as librarian and later worked as historian and privy councillor. The Stanford biography (opens in a new tab) notes that the court demanded a dynastic history and other administrative work, while Leibniz maintained correspondence with more than 1,100 people. His 1697 Novissima Sinica assembled reports about China and argued for intellectual exchange between Europe and China, one example of how court diplomacy, scholarship and religious interests overlapped. The workload also shaped his final years. When Georg Ludwig became George I of Britain in 1714, Leibniz did not accompany the court to London and remained under pressure to complete the Hanoverian history. At the same time he was embroiled in the priority dispute with Newton's circle over calculus. He died in Hanover on 14 November 1716, leaving a body of work dispersed across publications, manuscripts and correspondence rather than a single definitive system.
