Category:Definitions/Named Definitions/Leibniz

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Gottfried Wilhelm von Leibniz.

German mathematician and philosopher who is best known for being the co-inventor (independently of Isaac Newton) 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.

Invented the system of binary notation.

Pages in category "Definitions/Named Definitions/Leibniz"

The following 2 pages are in this category, out of 2 total.