: Boole introduce l'idea che il ragionamento possa essere trattato come un calcolo matematico.
: Distrugge il sogno di David Hilbert di una matematica "completa e decidibile". Alan Turing : La Calcolabilità (1936) Storia della logica. Da Boole ai nostri giorni
Gottlob Frege sposta l'attenzione dall'algebra delle classi alla struttura profonda delle proposizioni. : Boole introduce l'idea che il ragionamento possa
Negli anni '30, la logica affronta i propri limiti intrinseci con risultati che cambiano la scienza per sempre. Kurt Gödel: I Teoremi di Incompletezza (1931) Storia della logica. Da Boole ai nostri giorni
: Definisce formalmente cosa significa "calcolare" in modo meccanico.