Mathematician:Gottfried Wilhelm von Leibniz

Mathematician
German mathematician and philosopher who is best known for being the co-inventor (independently of ) of calculus.

Took some of the first philosophical steps towards a system of symbolic logic, but his works failed to have much influence on the development of logic, and these ideas were not developed to any significant extent. Discovered and proved what is now known as Wilson's Theorem.

Posed what is now known as Leibniz's Question: "Is there an algorithm for deciding which statements of number theory are true?"

Became a friend of, who became his mentor in mathematics.

Invented a better calculating machine than had done.

Coined the term dynamics for the study of bodies in motion.

Made significant contributions towards the understanding of kinetic energy.

Solved the problem of the catenary.

Gave the first analysis of the forces within a loaded beam.

Devised the notation $\displaystyle \int$ to denote the operation of integration, and at the same time $\mathrm d$ to denote differentiation.

Nationality
German

History

 * Born: 1 July 1646, Leipzig, Saxony (now Germany)
 * 1652: The death of his father propelled him to self-educate
 * 1661: Entered University of Leipzig to study law
 * 1666: Applied for degree of Doctor of Law but was refused. Enrolled at Altdorf in Nuremberg instead.
 * 1667: Secured position as legal advisor to Prince Elector of Mainz
 * March 1672: Visited Paris on a diplomatic mission, in which he was unsuccessful, but stayed in Paris anyway
 * January 1673: Visited England on a diplomatic mission for Elector of Mainz. Elected a member of the Royal Society.
 * 1673: Death of Elector of Mainz. Took up service with John Frederick, Duke of Brunswick-Lüneburg
 * 1676: Entered into a correspondence with
 * 1676: Left Paris to return to Hanover by way of London and Holland
 * Died: 14 Nov 1716, Hannover, Hanover (now Germany)

Theorems and Definitions

 * Leibniz's Law
 * Leibniz's Rule
 * Leibniz's Question
 * Leibniz's Formula for Pi


 * Praeclarum Theorema

Books and Papers

 * 1666: De Casibus Perplexis in Jure (On Perplexing Cases in the Law)
 * 1666: Dissertatio de Arte Combinatoria (On the Art of Combination)
 * 1666: Nova Methodus Docendae Discendaeque Jurisprudentiae (A New Method for Teaching and Learning Jurisprudence)
 * 1671: Hypothesis Physica Nova (New Physical Hypothesis)
 * 1673: Confessio Philosophi (A Philosopher's Creed)
 * 1682: Founded the journal
 * 1686: Systema Theologicum
 * 1686: De geometria recondite et analysi indivisibilium atque infinitorum
 * 1686: Discours de métaphysique
 * 1703: Explication de l'Arithmétique Binaire (Explanation of Binary Arithmetic)
 * 1704: Nouveaux essais sur l'entendement humain
 * 1710: Essais de Théodicée
 * 1714:
 * 1710: Essais de Théodicée
 * 1714:

Posthumous Publications

 * 1749: Protogaea
 * 1765: New Essays on Human Understanding (written in 1704)

Notable Quotes

 * With every lost hour a part of life perishes.


 * Nothing happens without a reason, there is no effect without a cause.


 * I prefer a Leeuwenhoek who tells me what he sees to a who tells me what he thinks. It is, however, necessary to add reasoning to observation.


 * In symbols one observes an advantage in discovery which is greatest when they express the exact nature of a thing briefly and, as it were, picture it; then indeed the labor of thought is wonderfully diminished.
 * --- Letter to


 * How extremely distracted I am cannot be described. I dig up various things from the archives, examine ancient documents, and collect unpublished manuscripts. From these I strive to throw light on the history of Brunswick. I receive and send letters in great numbers. I have, indeed, so much that is new in mathematics, so many thoughts in philosophy, so many other literary observations which I do not wish to have perish, that I am often bewildered as to where to begin.
 * -- 1695, in a letter

Critical View

 * There is a book which should be written, and its title should be The Mind of Leibniz''.