Il calcolatore universale. Da Leibniz a Turing

Tra i fili di Arianna che si possono seguire per interpretare lo sviluppo del moderno, Martin Davis seleziona quell'entità al tempo stesso astrusa e comunissima che è il calcolo o computazione. Astrusa perché la teoria della calcolabilità - in bilico tra matematica, ingegneria elettronica e filosofia - non è certo un soggetto facile. Comunissima perché chiunque usi un PC ha tra le mani, spesso senza saperlo, un «calcolatore universale» - l'epitome stessa della nozione di computazione. Per ricostruire la genesi di questa idea Davis prende le mosse da Leibniz e compone, con affetto e rispetto, una galleria di personaggi-chiave che comprende Boole, Frege, Cantor, Hilbert, Gödel e culmina in Turing: alla sua macchina universale riconosce infatti, pur pagando il dovuto tributo a Gödel, un ruolo centrale nei fenomeni di insolubilità. Grazie a Turing il «sogno di Leibniz» - l'invenzione di un calcolo simbolico con cui risolvere in maniera automatica ogni genere di problemi - si materializza i