Martin Davis

Il calcolatore universale. Da Leibniz a Turing

Adelphi

La costante innovazione dei computer mette in risalto le ricerche e le realizzazioni degli ingegneri: il computer viene così ridotto ad un insieme di microscopici elementi e di concetti di elettronica e fisica. Questo libro di Martin Davis mostra però che i congegni elettronici e le nozioni di fisica da sole non bastano a rendere conto della tecnologia informatica.

«Era dai tempi di Leibniz, e anche prima, che si pensava alle macchine calcolatrici». Martin Davis dunque si occupa dell'architettura del computer, mettendone in luce i presupposti logici e matematici. Nel suo libro non si parla di elettronica, ma di logica e matematica, attraverso una galleria di ritratti degli studiosi che tentarono di realizzare il "sogno di Leibniz".

scheda bibliografica:

Martin Davis

Il calcolatore universale. Da Leibniz a Turing

Adelphi, Milano 2003

pp. 321; Euro 24; ISBN 88 459 1792 4