Gottfried Leibniz (1 lugl 1646 anni – 14 nov 1716 anni)

Descrizione:

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.

Aggiunto al nastro di tempo:

Data: