Ti serve un approfondimento specifico su una di queste figure, come o il funzionamento dei circuiti booleani ?
: Distrugge il sogno di David Hilbert di una matematica "completa e decidibile". Alan Turing : La Calcolabilità (1936)
: Definisce formalmente cosa significa "calcolare" in modo meccanico.
: 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
Gottlob Frege sposta l'attenzione dall'algebra delle classi alla struttura profonda delle proposizioni.