Davis, Martin <1928-2023>
Il calcolatore universale
- Prenota
- Copie totali: 2
- In prestito: 0
- Prenotazioni: 0
Abstract: 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, Gödel e culmina in Turing. È interessante osservare, su un piano più tecnico, come Davis, pur pagando un doveroso tributo a Kurt Gödel, ponga, in maniera stimolante, la macchina universale di Turing alla base dei fenomeni di indecidibilità. Dopo la scoperta di Turing, il sogno di Leibniz, l'invenzione di un calcolo simbolico, una sorta di algebra del pensiero, si materializza non più in calcolatori in carne e ossa, ma in valvole e fili e poi in rame e silicio.
Titolo e contributi: Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Pubblicazione: Milano : Adelphi, copyr. 2003
Descrizione fisica: 321 p. : ill. ; 23 cm
ISBN: 8845917924
Data:2003
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
- The *universal computer
- Trad. di: The universal computer
- Tipo di data: monografia edita in un solo anno
- Data di pubblicazione: 2003
- Target: adulti, generale
- Genere: saggi
Sono presenti 2 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Pellio Intelvi | 003-006 Informatica 004.09 DAV | PI-17720 | Su scaffale | Non disponibile | |
| Como | OO-N-5830 | CO-288227 | Su scaffale | Disponibile |