nel ricostruire la genesi dell`idea di "calcolo o computazione" l`autore, un pioniere della moderna informatica, prende le mosse da leibniz e compone una galleria di personaggi chiave che comprende boole, frege, cantor, hilbert, godel e culmina in turing. e interessante osservare, su un piano piu` tecnico, come davis, pur pagando un doveroso tributo a kurt godel, ponga, in maniera stimolante, la macchina universale di turing alla base dei fenomeni di indecidibilita`. dopo la scoperta di turing, il "sogno di leibniz", l`invenzione di un calcolo simbolico, una sorta di algebra del pensiero, si materializza non piu` in calcolatori in carne e ossa, ma in valvole e fili e poi in rame e silicio.

tra i fili di arianna che si possono seguire per interpretare lo sviluppo del moderno, martin davis seleziona quell`entita` al tempo stesso astrusa e comunissima che e` il calcolo o computazione. astrusa perche` la teoria della calcolabilita` - in bilico tra matematica, ingegneria elettronica e filosofia non e` certo un soggetto facile. comunissima perche` 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 insolubilita`. 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 in calcolatori non piu` in carne e ossa, ma in rame e silicio. resta tuttavia, quel sogno, solo in parte realizzato: se molti degli aspetti della mente razionale sono oggi riproducibili informaticamente, quelli che piu` caratterizzano l`essere umano - senso comune, emozioni, coscienza - resistono ancora alla realizzazione della visione di leibniz.