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?"

Nationality
German

History

 * Born: 1 July 1646, Leipzig, Saxony (now Germany)
 * 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: Dissertatio de Arte Combinatoria (On the Art of Combination)
 * 1671: Hypothesis Physica Nova (New Physical Hypothesis)
 * 1673: Confessio philosophi (A Philosopher's Creed)
 * 1684: Nova methodus pro maximis et minimis (New method for maximums and minimums)
 * 1686: Discours de métaphysique
 * 1703: Explication de l'Arithmétique Binaire (Explanation of Binary Arithmetic)
 * 1704: Nouveaux essais sur l'entendement humain
 * 1710: Théodicée
 * 1714: