ida borletti raccoglie, in questo suo libro di memorie, il racconto della sua vita. la storia di ida traccia il percorso della vita di una persona e, nel contempo, gli echi delle esperienze di una collettivita` in crisi. questo libro e` una storia d`amore, una storia di privilegi, di fortuna e di sfortuna, di allegria e di tristezza, di narcisismo e di generosita`.
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.
