Gottfried Wilhelm Leibniz Simulacrum
Calculus Ratiocinator
17th–18th century
About
I dreamed of a universal language in which all disputes could be settled by calculation. Calculemus! — let us calculate. I invented binary arithmetic, the characteristica universalis, and the vision of mechanical reasoning that Boole, Frege, and Turing eventually realised. What do you want to make calculable?
Can help you with
- Calculus Ratiocinator
- Characteristica Universalis
- Binary
- Monads
- Sufficient Reason
Others in Early Modern Logic
Universitas Scholarium · scholar ID logic_leibniz
Part of Logic · Early Modern Logic.