Logical Revolutions

Past Present and Future

a chronology

a chronology
logic math computing 
Thalesrational justificationmathematics as science500BC
Pythagorasnumbers as foundation500BC
Aristotlethe syllogism350BC
Euclidaxiomatic method  
Descartessystematic doubtanalytic geometry 1600AD
Newton the calculus1700AD
Leibniz the calculuscharacteristica universalis & AI1700AD
Booleboolean logic   
Babbagedifferential engine 
Fregepredicate logic   
Russelltype theoryPrincipia Mathematica  
TuringTuring machine & AI 
ChurchSTT lambda calculus 

A Chronology of Digital Computing Machines (to 1952)

home © RBJ created 1996/7/22 modified 1996/7/28