Gottfried Wilhelm Leibniz (1 July 1646–14 November 1716) was a German mathematician, philosopher, jurist, and diplomat whose work connected mathematics with philosophy and the organization of knowledge. He independently developed calculus alongside Isaac Newton, introduced influential mathematical notation, and investigated mechanical calculation and binary arithmetic. A major representative of rationalism, he developed an account of reality based on simple substances called monads and principles intended to explain the intelligibility of the world. (mathshistory.st-andrews.ac.uk)
Life and intellectual setting
Born in Leipzig, Leibniz grew up in a Lutheran scholarly family. His father, a professor of moral philosophy, died when Leibniz was six; access to his library encouraged extensive independent reading. Leibniz entered the University of Leipzig in 1661, studying philosophy and subsequently law. His early intellectual formation combined scholastic learning with an interest in newer approaches to natural philosophy. (plato.stanford.edu)
After entering service in Mainz, he traveled to Paris in 1672 on a diplomatic mission. There, Christiaan Huygens guided his mathematical studies. Leibniz visited London in 1673 and was elected a fellow of the Royal Society. In 1676 he moved to Hanover, where he served the Brunswick ruling house as librarian, adviser, and historian. These appointments supported his research but also imposed extensive administrative and historical duties. He died in Hanover in 1716. (mathshistory.st-andrews.ac.uk)
Calculus and mathematical notation
During his Paris years, Leibniz developed methods for tangents, rates of change, and quadratures—the determination of areas. His manuscripts of 1675 contain the integral sign ∫ and differential notation. He published his differential calculus in Acta Eruditorum in 1684 and an account of integral calculus in 1686. His notation distinguished small changes such as and , while ∫, derived from an elongated letter S, represented summation. These symbols became enduring tools for expressing derivatives and integrals. (mathshistory.st-andrews.ac.uk)
Leibniz emphasized general computational rules and the inverse relationship between differentiation and integration. His approach used infinitesimal quantities rather than the later foundations of mathematical analysis based on limits. The productivity of his symbolism helped other mathematicians extend calculus to new problems. (mathshistory.st-andrews.ac.uk)
Newton developed his methods earlier, but Leibniz published first. Their competing claims eventually became a bitter priority dispute involving supporters and scientific institutions. Historical scholarship recognizes their independent development of calculus; the dispute must be distinguished from the mathematical differences between their approaches. (mathshistory.st-andrews.ac.uk)
Calculation and logic
Leibniz designed a mechanical calculator intended to perform addition, subtraction, multiplication, and division. Its stepped-drum mechanism offered a way to automate repeated arithmetic operations, although construction and reliable operation presented difficulties. He demonstrated an incomplete version during his 1673 London visit and continued developing the machine afterward. (mathshistory.st-andrews.ac.uk)
He also systematically developed binary arithmetic, representing numbers with only 0 and 1. His memoir for the French academy’s year 1703 explained operations in this system and connected its patterns with Chinese diagrams supplied by the Jesuit Joachim Bouvet. The memoir presented binary arithmetic as a mathematical and symbolic system, not as a design for a modern electronic computer. (onepagepapers.com)
In logic, Leibniz sought a characteristica universalis: a symbolic language capable of representing concepts precisely. A complementary calculus ratiocinator would allow reasoning through rule-governed operations. He produced numerous experimental calculi, including systems for conceptual inclusion and syllogistic inference, but never completed a universal system. Most of these logical writings remained unpublished during his lifetime, limiting their immediate influence. (iep.utm.edu)
Metaphysics and knowledge
Leibniz’s metaphysics rests on several interconnected principles. The principle of sufficient reason states that there must be an explanation why something is so rather than otherwise. The identity of indiscernibles denies that two distinct entities can be alike in every respect. He also distinguished necessary truths, whose denial entails contradiction, from contingent truths, which concern what actually occurs without being logically unavoidable. (iep.utm.edu)
In his mature account, monads are simple, indivisible substances characterized by perception and an internal tendency toward changing perceptions. They are not material particles and do not causally act upon one another. Their coordinated development follows a pre-established harmony established by God. This framework also explains the correspondence between mental experiences and bodily events without direct interaction between mind and body. (iep.utm.edu)
His Theodicy (1710) argues that God chooses the best among compatible possible worlds. This concerns the ordering of the world as a whole, not the claim that every event is individually good. In epistemology, Leibniz defended innate dispositions and principles against the view that the mind begins as a blank slate. (plato.stanford.edu)
Mechanics and scholarly institutions
In mechanics, Leibniz argued that vis viva, or “living force,” should be measured by . This quantity corresponds to twice modern kinetic energy, although his conceptual framework differed from later energy theory. He explained apparent losses in collisions through motion redistributed into bodies’ smaller parts. He also defended a relational account of space and time: orders of coexistence and succession rather than independently existing containers. (plato.stanford.edu)
Leibniz promoted scientific academies, extensive correspondence, and cooperation across disciplines. He helped secure the foundation of the Brandenburg Society of Sciences in Berlin in 1700 and became its first president. His principal philosophical texts include Discourse on Metaphysics (1686), Theodicy, and Monadology (1714); many other investigations survive in manuscripts and letters rather than finished books. (mathshistory.st-andrews.ac.uk)