: Distrugge il sogno di David Hilbert di una matematica "completa e decidibile". Alan Turing : La Calcolabilità (1936)
: Bertrand Russell scopre una contraddizione nel sistema di Frege, costringendo i logici a ripensare la teoria degli insiemi. 3. L'Età d'Oro: Gödel e Turing Storia della logica. Da Boole ai nostri giorni
: Introduce la notazione dei quantificatori ("per ogni", "esiste"), permettendo di analizzare frasi matematiche complesse. : Distrugge il sogno di David Hilbert di
: Trasforma la logica da argomentazione verbale a calcolo simbolico, gettando le basi per i futuri circuiti elettronici. 2. Il Passaggio al Novecento: Frege e il Logicismo ma una galassia di sottodiscipline.
: Includono la logica sfumata (Fuzzy), la logica modale (necessità/possibilità) e le logiche paracoerenti.
Oggi la logica non è più un campo unico, ma una galassia di sottodiscipline.