Logical Revolutions
Past Present and Future
a chronology
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