: 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
: I principi di Boole sono implementati in ogni chip tramite le Porte Logiche .
: 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
: Boole introduce l'idea che il ragionamento possa essere trattato come un calcolo matematico.
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) : Trasforma la logica da argomentazione verbale a
Dalla metà del XIX secolo a oggi, la logica si è trasformata da strumento filosofico a , passando attraverso la consapevolezza dei propri limiti formali.
: 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 : Dimostra che esistono problemi che nessun computer
: Dimostra che in ogni sistema matematico coerente esistono verità che non possono essere provate all'interno del sistema stesso.