![]() | dal 2005 servizi gratuiti, giochi e tanto altro |
Il calcolatore universale | |
| Autori / autrici | Martin Davis e Gianni Rigamonti (traduzione) |
|---|---|
| Editore | Adelphi |
| Anno | 2012 |
| ISBN | 978-88-459-2741-6 |
| Biblioteche dove trovarlo | Servizio Bibliotecario Nazionale, Polo Bolognese, BNCF, Biblioest |
| Dove comprarlo | Feltrinelli, Unilibro, IBS (Librerie: Fernandez, Libr'Aria, Coletti, Dante Alighieri) |
| 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à. 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 più 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 più caratterizzano l'essere umano - senso comune, emozioni, coscienza - resistono ancora alla realizzazione della visione di Leibniz. | |
| Computer Science Science Mathematics Nonfiction History Technology Computers | |
| Catalogazione: Elaboratori elettronici Calcolo automatico Elaborazione dei dati | |
| Descrizione fisica | 327 p. ; 20 cm. |
| Collezione o collana | Gli Adelphi |
| (fonte OpenData: ICCU - Istituto Centrale per il Catalogo Unico delle Biblioteche Italiane) | |
Cinque libri a caso:




