Calcolatore universale. Da Leibniz a Turing (Il)
Prezzo
24,00 €
Nessuna tassa
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.
9788845917929
Scheda dati
- Autore
- Davis Martin
- Collana
- Biblioteca scientifica
- Formato
- Libro
- Data pubblicazione
- 02 Luglio 2003
- Pagine
- 321
Riferimenti specifici
- isbn
- 9788845917929
- ean13
- 9788845917929
Nuovo
Leo Elements Font End
Panel Tool
Full Width
Boxed Large
Yes
No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default