: Dimostra che in ogni sistema matematico coerente esistono verità che non possono essere provate all'interno del sistema stesso.
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
Questo rapporto delinea l'evoluzione della logica formale a partire dalla rivoluzione algebrica di George Boole fino alle sfide contemporanee dell'intelligenza artificiale e della logica non classica. 1. La Rivoluzione di George Boole (1847-1854) : Dimostra che in ogni sistema matematico coerente
: 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