33
/
AIzaSyB4mHJ5NPEv-XzF7P6NDYXjlkCWaeKw5bc
November 1, 2025
1133680
341258
2
Public Timelines
FAQ Get premium

Gottfried Leibniz (jul 1, 1646 – nov 14, 1716)

Description:

Made an incredible achievements in symbolic logic: Leibniz’s law (in First-order logic)

Made developments in First-order logic: Leibniz’s Rule (in Mathematics)

These were the significant development in theoretical computer science.

Added to timeline:

Date:

jul 1, 1646
nov 14, 1716
~ 70 years