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.
concetti e categorie che ci paiono ovvi, come la storia della letteratura, i secoli (il duecento, il trecento) o i periodi (il rinascimento, il romanticismo) sono in realta` frutto di una secolare riflessione. il volume ripercorre la vicenda critica della "periodizzazione" della letteratura italiana, illustrando i modelli correnti e le piu` recenti ipotesi critiche.
