Alan Turing's 1936 paper, "On Computable Numbers," is a foundational work in mathematical logic that introduced the concept of the Turing machine. This theoretical model of computation proved crucial for the development of computer science and artificial intelligence.
Sources for Alan Turing — On Computable Numbers
Alan Turing — On Computable Numbers 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)
- George Boole — The Mathematical Analysis of Logic (1847)
- Augustus De Morgan — Formal Logic (1847)
- Bertrand Russell — Introduction to Mathematical Philosophy (1919)
- 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)