George Boole's 1847 work, "The Mathematical Analysis of Logic," is a foundational text that applies mathematical principles to the study of logic. This work introduced Boolean algebra, which became crucial for the development of computer science and digital circuits.
Sources for George Boole — The Mathematical Analysis of Logic
George Boole — The Mathematical Analysis of Logic in Logic
Held in the Logic chamber of the Babel Nexus Index.
- Aristotle — Categories (Organon) (c. 350 BCE)
- Immanuel Kant — Logic (Jäsche edition) (1800)
- Augustus De Morgan — Formal Logic (1847)
- Bertrand Russell — Introduction to Mathematical Philosophy (1919)
- Alan Turing — On Computable Numbers (1936)
- Lewis Carroll — The Game of Logic (1886)
- John Venn — Symbolic Logic (1881)
- Gottfried Wilhelm Leibniz — Dissertatio de Arte Combinatoria (1666)
- Giuseppe Peano — Arithmetices Principia (1889)
- William Stanley Jevons — The Principles of Science (1874)
- Ludwig Wittgenstein — Tractatus Logico-Philosophicus (1921)