: Definisce formalmente cosa significa "calcolare" in modo meccanico.
Prima di Boole, la logica era considerata una branca della filosofia, ferma alle strutture sillogistiche di Aristotele. Storia della logica. Da Boole ai nostri giorni
: Introduce la notazione dei quantificatori ("per ogni", "esiste"), permettendo di analizzare frasi matematiche complesse. : Definisce formalmente cosa significa "calcolare" in modo
: 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