# Gottfried Wilhelm Leibniz

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 holds the Nachlass and the surviving reckoner. The Akademie-Ausgabe at https://www.leibnizedition.de/ is the critical-edition heading. SEP at https://plato.stanford.edu/entries/leibniz/ and the calculus entry at https://plato.stanford.edu/entries/calculus/ date the metaphysics and the 1684 paper. Britannica at https://www.britannica.com/biography/Gottfried-Wilhelm-Leibniz and MacTutor at https://mathshistory.st-andrews.ac.uk/Biographies/Leibniz/ independently confirm offices and years. The Royal Society’s 1712 Commercium Epistolicum at the institutional portal https://royalsociety.org/ 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/ 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. Théodicée (1710) is the lifetime philosophical book; Monadology stayed largely private then posthumous and is not split here as a twin. 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/ 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. Remaining dated instruments kept after dropping later computers, museum twins, and split rows: 1667 Altdorf; Mainz service; Paris–Huygens; 1673 reckoner; 1676 Hanover library; 1684 Nova Methodus; Guelph genealogy; Arnauld letters; 1700 Society; 1703 binary; 1710 Théodicée; 1712 Commercium. 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. Dated instruments, not later museum captions, are the public file. 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](https://plato.stanford.edu/entries/leibniz/) 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](https://plato.stanford.edu/entries/leibniz/) 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.

## Dated facts

- 1714: Georg Ludwig leaves Leibniz in Hanover while taking the British throne, marking court disfavor. https://factrail.ai/facts/gwl-georg-ludwig-disfavor. Sources: https://www.gwlb.de/leibniz, https://www.britannica.com/biography/Gottfried-Wilhelm-Leibniz.
- Monadology is composed in 1714 as a dated digest of Leibniz’s late metaphysics. https://factrail.ai/facts/gwl-monadology-1714. Sources: https://www.gwlb.de/leibniz, https://plato.stanford.edu/entries/leibniz/.
- 1712: English mathematical isolation hardens after Commercium Epistolicum against Leibniz. https://factrail.ai/facts/gwl-england-isolation-1712. Sources: https://plato.stanford.edu/entries/leibniz/, https://royalsociety.org/.
- 1712: The Royal Society’s Commercium Epistolicum prints a dated priority attack in the calculus dispute. https://factrail.ai/facts/gwl-newton-priority-1712. Sources: https://plato.stanford.edu/entries/newton/, https://royalsociety.org/.
- 1710: Essais de Théodicée is published as Leibniz’s only lifetime philosophical book. https://factrail.ai/facts/gwl-theodicy-1710. Sources: https://plato.stanford.edu/entries/leibniz/, https://www.britannica.com/biography/Gottfried-Wilhelm-Leibniz.
- 1705: Court salary dependence keeps Leibniz inside princely patronage inequality. https://factrail.ai/facts/gwl-inequality-court-pay. Sources: https://www.gwlb.de/leibniz, https://www.britannica.com/biography/Gottfried-Wilhelm-Leibniz.
- 1703: Explication de l’arithmétique binaire is printed as a dated binary-arithmetic memoir. https://factrail.ai/facts/gwl-binary-1703. Sources: https://mathshistory.st-andrews.ac.uk/Biographies/Leibniz/, https://www.leibnizedition.de/.
- 1701: Leibniz corresponds with Joachim Bouvet on binary arithmetic and the I Ching. https://factrail.ai/facts/gwl-bouvet-binary-1701. Sources: https://plato.stanford.edu/entries/leibniz/, https://www.leibnizedition.de/.
- The Brandenburg Society of Sciences is founded in 1700 on Leibniz’s academy plan. https://factrail.ai/facts/gwl-berlin-academy-1700. Sources: https://www.bbaw.de/, https://plato.stanford.edu/entries/leibniz/.
- 1697: Novissima Sinica prefatory work publicises Jesuit China reports under Leibniz’s editorship. https://factrail.ai/facts/gwl-china-novissima-1697. Sources: https://plato.stanford.edu/entries/leibniz/, https://www.leibnizedition.de/.
- New System of the Nature and Communication of Substances is printed in 1695. https://factrail.ai/facts/gwl-new-system-1695. Sources: https://plato.stanford.edu/entries/leibniz/, https://www.britannica.com/biography/Gottfried-Wilhelm-Leibniz.
- 1694: Leibniz writes medical and public-health advisory notes within court scientific correspondence. https://factrail.ai/facts/gwl-medical-advisory. Sources: https://plato.stanford.edu/entries/leibniz/, https://www.leibnizedition.de/.

## Methodology

https://factrail.ai/methodology

Canonical: https://factrail.ai/people/gottfried-wilhelm-leibniz
