{"product_id":"il-calcolatore-universale-da-leibniz-a-turing","title":"Il calcolatore universale. Da Leibniz a Turing","description":"\u003cdiv class=\"product-description\"\u003e\n\u003cp\u003eTra 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.\u003c\/p\u003e\n\u003cstrong class=\"product-title\"\u003eIl calcolatore universale. Da Leibniz a Turing\u003c\/strong\u003e\u003cdiv class=\"product-details\"\u003e\n\u003cp\u003edi Davis, Martin - 2012-10-10\u003c\/p\u003e\n\u003cp\u003eEdizioni Adelphi\u003c\/p\u003e\n\u003cp\u003eISBN 9788845927416\u003c\/p\u003e\n\u003c\/div\u003e\n\u003c\/div\u003e","brand":"Libreria Libraria","offers":[{"title":"Default Title","offer_id":50307854074195,"sku":"","price":14.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0898\/2183\/9699\/files\/9788845927416.500.jpg?v=1738314289","url":"https:\/\/librerialibraria.com\/products\/il-calcolatore-universale-da-leibniz-a-turing","provider":"librerialibraria","version":"1.0","type":"link"}