Logical Revolutions
Past Present and Future
a chronology
 |
 |
 | ||
|---|---|---|---|---|
| Thales | rational justification | mathematics as science | 500BC | |
| Pythagoras | numbers as foundation | 500BC | ||
| Aristotle | the syllogism | 350BC | ||
| Euclid | axiomatic method | |||
| Descartes | systematic doubt | analytic geometry | 1600AD | |
| Newton | the calculus | 1700AD | ||
| Leibniz | the calculus | characteristica universalis & AI | 1700AD | |
| Boole | boolean logic | |||
| Babbage | differential engine | |||
| Frege | predicate logic | |||
| Russell | type theory | Principia Mathematica | ||
| Turing | Turing machine & AI | |||
| Church | STT | lambda calculus |
A Chronology of Digital Computing Machines (to 1952)
©
created 1996/7/22 modified 1996/7/28