Martin Davis - Il calcolatore universale (2003) - ITA
Da Leibniz a Turing-The Universal Computer-The road from Leibniz to Turing 2000
Genere: Scienza | Lingua: Italiano | Editore: Adelphi | Collana: Biblioteca Scintifica 35
Anno: 2003 ed.ITA 2012 digi Ed. | Formato: Pdf 321 Pagine | Dimensioni: 8.9 MB
Descrizione:
Tra i fili di Arianna che si possono seguire per interpretare lo sviluppo del moderno, Martin Davis seleziona
quell’entità al tempo stesso astrusa e comunissima che è il calcolo o computazione. Astrusa perché la teoria
della calcolabilità – in bilico tra matematica, ingegneria elettronica e filosofia – non è certo un soggetto
facile. Comunissima perché 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 insolubilità.
