Works
- Begriffsschrift, 1879
In Thinking Tools
Known for
A German logician, philosopher, and mathematician. Begriffsschrift, a formula language for pure thought modeled on arithmetic, set out the first formal system with quantified variables and is the starting point of modern symbolic logic.