Gottfried Leibniz (1 juill. 1646 – 14 nov 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.
Ajouté au bande de temps:
Date:
1 juill. 1646
14 nov 1716
~ 70 years