Properties (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
mathematician |
| gptkbp:associatedWith |
gptkb:Academy_of_Sciences
gptkb:Royal_Society gptkb:Berlin_Academy |
| gptkbp:born |
July 1, 1646
|
| gptkbp:contribution |
computer science
formal logic philosophy of language philosophical logic calculus independently developed |
| gptkbp:died |
November 14, 1716
|
| gptkbp:education |
gptkb:University_of_Leipzig
gptkb:University_of_Altdorf |
| gptkbp:field |
physics
law logic mathematics philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Gottfried Wilhelm Leibniz
|
| gptkbp:influence |
computer science
logic mathematics modern philosophy |
| gptkbp:influenced |
gptkb:David_Hume
gptkb:Georg_Wilhelm_Friedrich_Hegel Immanuel Kant |
| gptkbp:inventor |
gptkb:Leibniz_wheel
binary system calculating machine Leibniz_formula |
| gptkbp:knownFor |
calculus
philosophy binary numeral system |
| gptkbp:nationality |
German
|
| gptkbp:notableAlumni |
monadology
pre-established harmony principle of sufficient reason |
| gptkbp:occupation |
gptkb:philosopher
mathematician diplomat historian logician |
| gptkbp:wrote |
gptkb:Discourse_on_Metaphysics
Monadology Theodicy New Essays on Human Understanding Principles_of_Nature_and_Grace The_Art_of_Controversies |