: Includono la logica sfumata (Fuzzy), la logica modale (necessità/possibilità) e le logiche paracoerenti.
: Dimostra che esistono problemi che nessun computer (macchina) potrà mai risolvere, legando la logica alla nascita dei moderni elaboratori. 4. La Logica Contemporanea: Dalla Macchina all'AI Storia della logica. Da Boole ai nostri giorni
: Distrugge il sogno di David Hilbert di una matematica "completa e decidibile". Alan Turing : La Calcolabilità (1936) : Includono la logica sfumata (Fuzzy), la logica