| 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. |
