You might also like

More about Il calcolatore universale. Da Leibniz a Turing

• Book details
• Synopsis
• Trending among others

You get 40 loyalty points

Book synopsis

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.

Book details

• Full title: Il calcolatore universale. Da Leibniz a Turing
• Author: Martin Davis, A. La Rana, G. Rigamonti
• Language: Italian
• Binding: Paperback
• Number of pages: 328
• EAN: 9788845927416
• ISBN: 8845927415
• ID: 13432733
• Publisher: Adelphi
• Weight: 310 g
• Dimensions: 240 × 120 × 10 mm
• Date of publishing: October 2012

Trending among others

---

---

---