Foto 1 di 4

Foto di catalogo

Libro - IL CALCOLATORE UNIVERSALE - Martin Davis - Foto 1 di 4

Libro - IL CALCOLATORE UNIVERSALE - Martin Davis - Foto 2 di 4

Libro - IL CALCOLATORE UNIVERSALE - Martin Davis - Foto 3 di 4

Libro - IL CALCOLATORE UNIVERSALE - Martin Davis - Foto 4 di 4

Il calcolatore universale. Da Leibniz a Turing

oreste16 (731)

100% di feedback positivi

Prezzo:

€ 11,60

+ 4,90 di spese di spedizione

Consegna prevista lun 5 mag - gio 8 mag

Restituzioni:

Le restituzioni non sono accettate, ma l'oggetto è coperto dalla Garanzia cliente eBay.

Condizione:

Buone condizioni

Informazioni su questo prodotto

Informazioni sul prodotto

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.