Il calcolatore universale

Nel ricostruire la genesi dell'idea di "calcolo o computazione" l'autore, unpioniere della moderna informatica, prende le mosse da Leibniz e compone unagalleria di personaggi chiave che comprende Boole, Frege, Cantor, Hilbert,Gödel e culmina in Turing. È interessante osservare, su un piano più tecnico,come Davis, pur pagando un doveroso tributo a Kurt Gödel, ponga, in manierastimolante, la macchina universale di Turing alla base dei fenomeni diindecidibilità. Dopo la scoperta di Turing, il "sogno di Leibniz",l'invenzione di un calcolo simbolico, una sorta di algebra del pensiero, simaterializza non più in calcolatori in carne e ossa, ma in valvole e fili epoi in rame e silicio.