**Gottfried Wilhelm Leibniz** (1646 – 1716) was a German mathematician and philosopher. He wrote in several languages, but primarily in
Latin (~40%), French (~30%) and German (~15%). Leibniz occupies a prominent place in the history of mathematics and the history of philosophy.
He developed the infinitesimal calculus independently of Isaac Newton, and Leibniz's mathematical notation has been widely used ever since it
was published. His visionary Law of Continuity and Transcendental Law of Homogeneity only found mathematical implementation in the 20th
century. He became one of the most prolific inventors in the field of mechanical calculators. While working on adding automatic multiplication
and division to Pascal's calculator, he was the first to describe a pinwheel calculator in 1685 and invented the Leibniz wheel, used in the
arithmometer, the first mass-produced mechanical calculator. He also refined the binary number system, which is at the foundation of virtually
all digital computers. In philosophy, Leibniz is mostly noted for his optimism, e.g., his conclusion that our Universe is, in a restricted
sense, the best possible one that God could have created. Leibniz, along with Rene Descartes and Baruch Spinoza, was one of the three great
17th century advocates of rationalism. The work of Leibniz anticipated modern logic and analytic philosophy, but his philosophy also looks
back to the scholastic tradition, in which conclusions are produced by applying reason to first principles or prior definitions rather than
to empirical evidence. Leibniz made major contributions to physics and technology, and anticipated notions that surfaced much later in
philosophy, probability theory, biology, medicine, geology, psychology, linguistics, and information science. He wrote works on philosophy,
politics, law, ethics, theology, history, and philology. Leibniz's contributions to this vast array of subjects were scattered in various
learned journals, in tens of thousands of letters, and in unpublished manuscripts. As of 2012, there is no complete gathering of the writings
of Leibniz.

Gottfried Leibniz was born on July 1, 1646 in Leipzig, Saxony (at the end of the Thirty Years' War. His father, who was of Sorbian ancestry,
died when Leibniz was six years old, and from that point on he was raised by his mother. Her teachings influenced Leibniz's philosophical
thoughts in his later life.

Leibniz's father had been a Professor of Moral Philosophy at the University of Leipzig and Leibniz inherited his father's personal library.
He was given free access to this from the age of seven. While Leibniz's schoolwork focused on a small canon of authorities, his father's
library enabled him to study a wide variety of advanced philosophical and theological works – ones that he would not have otherwise been
able to read until his college years. Access to his father's library, largely written in Latin, also led to his proficiency in the Latin
language. Leibniz was proficient in Latin by the age of 12, and he composed three hundred hexameters of Latin verse in a single morning for
a special event at school at the age of 13.

He enrolled in his father's former university at age 15, and he completed his bachelor's degree in philosophy in December 1662. He defended
his

*Disputatio Metaphysica de Principio Individui*, which addressed the "Principle of individuation", on June 9, 1663. Leibniz earned
his master's degree in philosophy on February 7, 1664. He published and defended a dissertation

*Specimen Quaestionum Philosophicarum ex
Jure collectarum*, arguing for both a theoretical and a pedagogical relationship between philosophy and law, in December 1664. After one
year of legal studies, he was awarded his bachelor's degree in Law on September 28, 1665.

In 1666, (at age 20), Leibniz published his first book,

*On the Art of Combinations*, the first part of which was also his habilitation
thesis in philosophy. His next goal was to earn his license and doctorate in Law, which normally required three years of study then. In 1666,
the University of Leipzig turned down Leibniz's doctoral application and refused to grant him a doctorate in law, most likely due to his
relative youth (he was 21 years old at the time). Leibniz subsequently left Leipzig.

Leibniz then enrolled in the University of Altdorf, and almost immediately he submitted a thesis, which he had probably been working on
earlier in Leipzig. The title of his thesis was

*Disputatio Inauguralis De Casibus Perplexis In Jure*. Leibniz earned his license to
practice law and his Doctorate in Law in November 1666. He next declined the offer of an academic appointment at Altdorf, saying that "my
thoughts were turned in an entirely different direction".

As an adult, Leibniz often introduced himself as "Gottfried von Leibniz". Also many posthumously published editions of his writings presented
his name on the title page as "Freiherr G. W. von Leibniz." However, no document has ever been found from any contemporary government that
stated his appointment to any form of nobility.

Leibniz's first position was as a salaried alchemist in Nuremberg, even though he knew nothing about the subject. He soon met Johann Christian
von Boyneburg (1622–1672), the dismissed chief minister of the Elector of Mainz, Johann Philipp von Schonborn. Von Boyneburg hired Leibniz as
an assistant, and shortly thereafter reconciled with the Elector and introduced Leibniz to him. Leibniz then dedicated an essay on law to the
Elector in the hope of obtaining employment. The stratagem worked; the Elector asked Leibniz to assist with the redrafting of the legal code
for his Electorate. In 1669, Leibniz was appointed Assessor in the Court of Appeal. Although von Boyneburg died late in 1672, Leibniz remained
under the employment of his widow until she dismissed him in 1674.

Von Boyneburg did much to promote Leibniz's reputation, and the latter's memoranda and letters began to attract favorable notice. Leibniz's
service to the Elector soon followed a diplomatic role. He published an essay, under the pseudonym of a fictitious Polish nobleman, arguing
(unsuccessfully) for the German candidate for the Polish crown. The main force in European geopolitics during Leibniz's adult life was the
ambition of Louis XIV of France, backed by French military and economic might. Meanwhile, the Thirty Years' Warhad left German-speaking Europe
exhausted, fragmented, and economically backward. Leibniz proposed to protect German-speaking Europe by distracting Louis as follows. France
would be invited to take Egypt as a stepping stone towards an eventual conquest of the Dutch East Indies. In return, France would agree to
leave Germany and the Netherlands undisturbed. This plan obtained the Elector's cautious support. In 1672, the French government invited
Leibniz to Paris for discussion, but the plan was soon overtaken by the outbreak of the Franco-Dutch War and became irrelevant. Napoleon's
failed invasion of Egypt in 1798 can be seen as an unwitting implementation of Leibniz's plan.

Thus Leibniz began several years in Paris. Soon after arriving, he met Dutch physicist and mathematician Christiaan Huygens and realized that
his own knowledge of mathematics and physics was patchy. With Huygens as mentor, he began a program of self-study that soon pushed him to
making major contributions to both subjects, including inventing his version of the differential and integral calculus. He met Nicolas
Malebranche and Antoine Arnauld, the leading French philosophers of the day, and studied the writings of Descartesand Pascal, unpublished as
well as published. He befriended a German mathematician, Ehrenfried Walther von Tschirnhaus; they corresponded for the rest of their lives.
In 1675 he was admitted by the French Academy of Sciences as a foreign honorary member, despite his lack of attention to the academy.

When it became clear that France would not implement its part of Leibniz's Egyptian plan, the Elector sent his nephew, escorted by Leibniz,
on a related mission to the English government in London, early in 1673. There Leibniz came into acquaintance of Henry Oldenburg and John
Collins. He met with the Royal Society where he demonstrated a calculating machine the he had designed and had been building since 1670. The
machine was able to execute all four basic operations (adding, subtracting, multiplying, and dividing), and the Society quickly made him an
external member. From the Secretary of the Royal Society Oldenburg he receives the presentation of the Newtonian discoveries: infinitesimal
analysis and the theory of infinite series. Immediately after estimating the power of the method, he begins to develop it. In particular,
he brought up the first series for the number

_{}
The sudden deaths of Leibniz's two patrons in the same winter meant that Leibniz had to find a new basis for his career. In this regard, a
1669 invitation from the Duke of Brunswick to visit Hanover proved fateful. Leibniz declined the invitation, but began corresponding with the
Duke in 1671. In 1673, the Duke offered him the post of Counsellor which Leibniz very reluctantly accepted two years later, only after it
became clear that no employment in Paris, whose intellectual stimulation he relished, or with the Habsburg imperial court was forthcoming.

Leibniz managed to delay his arrival in Hanover until the end of 1676 after making one shorter journey to London, where he was later accused
by Newton of being shown some of Newton's unpublished work on the calculus. This fact was deemed evidence supporting the accusation, made
decades later, that he had stolen the calculus from Newton. On the journey from London to Hanover, Leibniz stopped in The Hague where he met
Leeuwenhoek, the discoverer of microorganisms. He also spent several days in intense discussion with Spinoza, who had just completed his
masterwork, the

*Ethics*. Leibniz respected Spinoza's powerful intellect, but was dismayed by his conclusions that contradicted both
Christian and Jewish orthodoxy.

In 1677, he was promoted, at his request, to Privy Counselor of Justice, a post he held for the rest of his life. Leibniz served three
consecutive rulers of the House of Brunswick as historian, political adviser, and most consequentially, as librarian of the ducal library.
He thenceforth employed his pen on all the various political, historical, and theological matters involving the House of Brunswick; the
resulting documents form a valuable part of the historical record for the period.

Among the few people in north Germany to accept Leibniz were the Electress Sophia of Hanover (1630–1714), her daughter Sophia Charlotte of
Hanover (1668–1705), the Queen of Prussia and his avowed disciple, and Caroline of Ansbach, the consort of her grandson, the future George II.
To each of these women he was correspondent, adviser, and friend. In turn, they all approved of Leibniz more than did their spouses and the
future king George I of Great Britain.

The population of Hanover was only about 10,000, and its provinciality eventually grated on Leibniz. Nevertheless, to be a major courtier to
the House of Brunswick was quite an honor, especially in light of the meteoric rise in the prestige of that House during Leibniz's association
with it. In 1692, the Duke of Brunswick became a hereditary Elector of the Holy Roman Empire. The British Act of Settlement 1701 designated
the Electress Sophia and her descent as the royal family of England, once both King William III and his sister-in-law and successor, Queen
Anne, were dead. Leibniz played a role in the initiatives and negotiations leading up to that Act, but not always an effective one. For
example, something he published anonymously in England, thinking to promote the Brunswick cause, was formally censured by the British
Parliament.

The Brunswicks tolerated the enormous effort Leibniz devoted to intellectual pursuits unrelated to his duties as a courtier, pursuits such as
perfecting the calculus, writing about other mathematics, logic, physics, and philosophy, and keeping up a vast correspondence. He began
working on the calculus in 1674; the earliest evidence of its use in his surviving notebooks is 1675. By 1677 he had a coherent system in
hand, but did not publish it until 1684. Leibniz's most important mathematical papers were published between 1682 and 1692, usually in a
journal which he and Otto Mencke founded in 1682, the

*Acta Eruditorum*. That journal played a key role in advancing his mathematical
and scientific reputation, which in turn enhanced his eminence in diplomacy, history, theology, and philosophy.

The Elector Ernest Augustus commissioned Leibniz to write a history of the House of Brunswick, going back to the time of Charlemagne or
earlier, hoping that the resulting book would advance his dynastic ambitions. From 1687 to 1690, Leibniz traveled extensively in Germany,
Austria, and Italy, seeking and finding archival materials bearing on this project. Decades went by but no history appeared; the next Elector
became quite annoyed at Leibniz's apparent dilatoriness. Leibniz never finished the project, in part because of his huge output on many other
fronts, but also because he insisted on writing a meticulously researched and erudite book based on archival sources, when his patrons would
have been quite happy with a short popular book, one perhaps little more than a genealogy with commentary, to be completed in three years or
less. They never knew that he had in fact carried out a fair part of his assigned task: when the material Leibniz had written and collected
for his history of the House of Brunswick was finally published in the 19th century, it filled three volumes.

In 1708, John Keill, writing in the journal of the Royal Society and with Newton's presumed blessing, accused Leibniz of having plagiarized
Newton's calculus. Thus began the calculus priority dispute which darkened the remainder of Leibniz's life. A formal investigation by the
Royal Society (in which Newton was an unacknowledged participant), undertaken in response to Leibniz's demand for a retraction, upheld Keill's
charge. Historians of mathematics writing since 1900 or so have tended to acquit Leibniz, pointing to important differences between Leibniz's
and Newton's versions of the calculus.

In 1711, while traveling in northern Europe, the Russian Tsar Peter the Great stopped in Hannover and met Leibniz, who then took some interest
in Russian matters for the rest of his life. In 1712, Leibniz began a two-year residence in Vienna, where he was appointed Imperial Court
Councillor to the Habsburgs. On the death of Queen Anne in 1714, Elector George Louis became King George I of Great Britain, under the terms
of the 1701 Act of Settlement. Even though Leibniz had done much to bring about this happy event, it was not to be his hour of glory. Despite
the intercession of the Princess of Wales, Caroline of Ansbach, George I forbade Leibniz to join him in London until he completed at least
one volume of the history of the Brunswick family his father had commissioned nearly 30 years earlier. Moreover, for George I to include
Leibniz in his London court would have been deemed insulting to Newton, who was seen as having won the calculus priority dispute and whose
standing in British official circles could not have been higher. Finally, his dear friend and defender, the Dowager Electress Sophia, died in
1714.

Leibniz died in Hanover in 1716: at the time, he was so out of favor that neither George I (who happened to be near Hanover at the time) nor
any fellow courtier other than his personal secretary attended the funeral. Even though Leibniz was a life member of the Royal Society and
the Berlin Academy of Sciences, neither organization saw fit to honor his passing. His grave went unmarked for more than 50 years. Leibniz
was eulogized by Fontenelle, before the Academie des Sciences in Paris, which had admitted him as a foreign member in 1700. The eulogy was
composed at the behest of the Duchess of Orleans, a niece of the Electress Sophia.

Leibniz's philosophical thinking appears fragmented, because his philosophical writings consist mainly of a multitude of short pieces: journal
articles, manuscripts published long after his death, and many letters to many correspondents. He wrote only two philosophical treatises, of
which only the

*Theodicy* of 1710 was published in his lifetime.

Leibniz dated his beginning as a philosopher to his

*Discourse on Metaphysics*, which he composed in 1686 as a commentary on a running
dispute between Malebranche and Antoine Arnauld. This led to an extensive and valuable correspondence with Arnauld; it and the Discourse were
not published until the 19th century. In 1695, Leibniz made his public entree into European philosophy with a journal article titled "New
System of the Nature and Communication of Substances". Between 1695 and 1705, he composed his

*New Essays on Human Understanding*, a
lengthy commentary on John Locke's 1690 An Essay Concerning Human Understanding, but upon learning of Locke's 1704 death, lost the
desire to publish it, so that the

*New Essays* were not published until 1765. The Monadologie, composed in 1714 and published
posthumously, consists of 90 aphorisms.

Leibniz met Spinoza in 1676, read some of his unpublished writings, and has since been suspected of appropriating some of Spinoza's ideas.
While Leibniz admired Spinoza's powerful intellect, he was also forthrightly dismayed by Spinoza's conclusions, especially when these were
inconsistent with Christian orthodoxy.

Unlike Descartes and Spinoza, Leibniz had a thorough university education in philosophy. He was influenced by his Leipzig professor Jakob
Thomasius, who also supervised his BA thesis in philosophy. Leibniz also eagerly read Francisco Suarez, a Spanish Jesuit respected even in
Lutheran universities. Leibniz was deeply interested in the new methods and conclusions of Descartes, Huygens, Newton, and Boyle, but viewed
their work through a lens heavily tinted by scholastic notions. Yet it remains the case that Leibniz's methods and concerns often anticipate
the logic, and analytic and linguistic philosophy of the 20th century.

Leibniz is the most important logician between Aristotle and 1847, when George Boole and Augustus De Morgan each published books that began
modern formal logic. Leibniz enunciated the principal properties of what we now call conjunction, disjunction, negation, identity, set
inclusion, and the empty set. The principles of Leibniz's logic and, arguably, of his whole philosophy, reduce to two:

1. All our ideas are compounded from a very small number of simple ideas, which form the alphabet of human thought.

2. Complex ideas proceed from these simple ideas by a uniform and symmetrical combination, analogous to arithmetical multiplication.

The formal logic that emerged early in the 20th century also requires, at minimum, unary negation and quantified variables ranging over some
universe of discourse.

Leibniz published nothing on formal logic in his lifetime; most of what he wrote on the subject consists of working drafts. In his book
"History of Western Philosophy", Bertrand Russell went so far as to claim that Leibniz had developed logic in his unpublished writings to a
level which was reached only 200 years later.

Although the mathematical notion of function was implicit in trigonometric and logarithmic tables, which existed in his day, Leibniz was the
first, in 1692 and 1694, to employ it explicitly, to denote any of several geometric concepts derived from a curve, such as abscissa, ordinate,
tangent, chord, and the perpendicular. In the 18th century, "function" lost these geometrical associations.

Leibniz was the first to see that the coefficients of a system of linear equations could be arranged into an array, now called a matrix, which
can be manipulated to find the solution of the system, if any. This method was later called Gaussian elimination. Leibniz's discoveries of
Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section. The best overview of Leibniz's
writings on the calculus may be found in Bos (1974).

Leibniz is credited, along with Sir Isaac Newton, with the invention of infinitesimal calculus (that comprises differential and integral
calculus). According to Leibniz's notebooks, a critical breakthrough occurred on November 11, 1675, when he employed integral calculus for
the first time to find the area under the graph of a function

*y = ?*(

*x*). He introduced several notations used to this day, for
instance the integral sign representing an elongated

*S*, from the Latin word summa and the

*d* used for differentials, from the
Latin word

*differentia*. This cleverly suggestive notation for the calculus is probably his most enduring mathematical legacy. Leibniz
did not publish anything about his calculus until 1684. The product rule of differential calculus is still called "Leibniz's law". In addition,
the theorem that tells how and when to differentiate under the integral sign is called the Leibniz integral rule.

Leibniz exploited infinitesimals in developing the calculus, manipulating them in ways suggesting that they had paradoxical algebraic
properties. George Berkeley, in a tract called "The Analyst" and also in "De Motu", criticized these. A recent study argues that Leibnizian
calculus was free of contradictions, and was better grounded than Berkeley's empiricist criticisms.

From 1711 until his death, Leibniz was engaged in a dispute with John Keill, Newton and others, over whether Leibniz had invented the calculus
independently of Newton. This subject is treated at length in the article Leibniz-Newton controversy.

Infinitesimals were officially banned from mathematics by the followers of Karl Weierstrass, but survived in science and engineering, and
even in rigorous mathematics, via the fundamental computational device known as the differential. Beginning in 1960, Abraham Robinson worked
out a rigorous foundation for Leibniz's infinitesimals, using model theory, in the context of a field of hyperreal numbers. The resulting
non-standard analysis can be seen as a belated vindication of Leibniz's mathematical reasoning. Robinson's transfer principle is a mathematical
implementation of Leibniz's heuristic law of continuity.

Leibniz was the first to use the term "analysis situs", later used in the 19th century to refer to what is now known as topology. There are
two takes on this situation. On the one hand, Mates, citing a 1954 paper in German by Jacob Freudenthal, argues: "Although for Leibniz the
situs of a sequence of points is completely determined by the distance between them and is altered if those distances are altered, his admirer
Euler, in the famous 1736 paper solving the Konigsberg Bridge Problem and its generalizations, used the term "geometria situs" in such a sense
that the situs remains unchanged under topological deformations. He mistakenly credits Leibniz with originating this concept. ...it is
sometimes not realized that Leibniz used the term in an entirely different sense and hence can hardly be considered the founder of that part
of mathematics".

But Hideaki Hirano argues differently, quoting Mandelbrot: "To sample Leibniz' scientific works is a sobering experience. Next to calculus,
and to other thoughts that have been carried out to completion, the number and variety of premonitory thrusts is overwhelming. We saw examples
in 'packing,'... My Leibniz mania is further reinforced by finding that for one moment its hero attached importance to geometric scaling. In
"Euclidis Prota"..., which is an attempt to tighten Euclid's axioms, he states, ... : 'I have diverse definitions for the straight line. The
straight line is a curve, any part of which is similar to the whole, and it alone has this property, not only among curves but among sets'.
This claim can be proved today".

Thus the fractal geometry promoted by Mandelbrot drew on Leibniz's notions of self-similarity and the principle of continuity: natura non
facit saltus. We also see that when Leibniz wrote, in a metaphysical vein, that "the straight line is a curve, any part of which is similar
to the whole", he was anticipating topology by more than two centuries. As for "packing", Leibniz told to his friend and correspondent Des
Bosses to imagine a circle, then to inscribe within it three congruent circles with maximum radius; the latter smaller circles could be
filled with three even smaller circles by the same procedure. This process can be continued infinitely, from which arises a good idea of
self-similarity. Leibniz's improvement of Euclid's axiom contains the same concept.

Leibniz's writings are currently discussed, not only for their anticipations and possible discoveries not yet recognized, but as ways of
advancing present knowledge. Much of his writing on physics is included in Gerhardt's "Mathematical Writings".

Leibniz contributed a fair amount to the statics and dynamics emerging about him, often disagreeing with Descartes and Newton. He devised a
new theory of motion (dynamics) based on kinetic energy and potential energy, which posited space as relative, whereas Newton was thoroughly
convinced that space was absolute. An important example of Leibniz's mature physical thinking is his "Specimen Dynamicum" of 1695.

Until the discovery of subatomic particles and the quantum mechanics governing them, many of Leibniz's speculative ideas about aspects of
nature not reducible to statics and dynamics made little sense. For instance, he anticipated Albert Einstein by arguing, against Newton, that
space, time and motion are relative, not absolute Leibniz's rule is an important, if often overlooked, step in many proofs in diverse fields
of physics. The principle of sufficient reason has been invoked in recent cosmology, and his identity of indiscernibles in quantum mechanics,
a field some even credit him with having anticipated in some sense. Those who advocate digital philosophy, a recent direction in cosmology,
claim Leibniz as a precursor.

Leibniz's "vis viva" (Latin for

*living force*) is

*mv*^{2}, twice the modern kinetic energy. He realized that the total
energy would be conserved in certain mechanical systems, so he considered it an innate motive characteristic of matter. Here too his thinking
gave rise to another regrettable nationalistic dispute. His vis viva was seen as rivaling the conservation of momentum championed by Newton
in England and by Descartes in France; hence academics in those countries tended to neglect Leibniz's idea. In reality, both energy and
momentum are conserved, so the two approaches are equally valid.

In 1906, Garland published a volume of Leibniz's writings bearing on his many practical inventions and engineering work. To date, few of these
writings have been translated into English. Nevertheless, it is well understood that Leibniz was a serious inventor, engineer, and applied
scientist, with great respect for practical life. Following the motto "theoria cum praxis", he urged that theory be combined with practical
application, and thus has been claimed as the father of applied science. He designed wind-driven propellers and water pumps, mining machines
to extract ore, hydraulic presses, lamps, submarines, clocks, etc. With Denis Papin, he invented a steam engine. He even proposed a method
for desalinating water. From 1680 to 1685, he struggled to overcome the chronic flooding that afflicted the ducal silver mines in the Harz
Mountains, but did not succeed.

Leibniz may have been the first computer scientist and information theorist. Early in life, he documented the binary numeral system (base 2),
then revisited that system throughout his career. He anticipated Lagrangian interpolation and algorithmic information theory. His calculus
ratiocinator anticipated aspects of the universal Turing machine. In 1934, Norbert Wiener claimed to have found in Leibniz's writings a mention
of the concept of feedback, central to Wiener's later cybernetic theory.
In 1671, Leibniz began to invent a machine that could execute all four arithmetical operations, gradually improving it over a number of years.
This "Stepped Reckoner" attracted fair attention and was the basis of his election to the Royal Society in 1673. A number of such machines
were made during his years in Hanover, by a craftsman working under Leibniz's supervision. It was not an unambiguous success because it did
not fully mechanize the operation of carrying. Couturat reported finding an unpublished note by Leibniz, dated 1674, describing a machine
capable of performing some algebraic operations.

Leibniz was groping towards hardware and software concepts worked out much later by Charles Babbage and Ada Lovelace. In 1679, while mulling
over his binary arithmetic, Leibniz imagined a machine in which binary numbers were represented by marbles, governed by a rudimentary sort of
punched cards. Modern electronic digital computers replace Leibniz's marbles moving by gravity with shift registers, voltage gradients, and
pulses of electrons, but otherwise they run roughly as Leibniz envisioned in 1679.