Il calcolatore universale
0 0 0
Materiale linguistico moderno

Davis, Martin

Il calcolatore universale

Abstract: 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.


Titolo e contributi: Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti

Nuove ed. ampliata

Pubblicazione: Milano : Adelphi, 2012

Descrizione fisica: 327 p. : ill. ; 20 cm

ISBN: 9788845927416

Data:2012

Lingua: Italiano (lingua del testo, colonna sonora, ecc.)

Paese: Italia

Altri titoli:
  • The *universal computer
Serie: Gli Adelphi ; 423

Nomi: (Autore)

Soggetti:

Classi: 004.09 ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Storia, geografia, persone (14)

Dati generali (100)
  • Tipo di data: monografia edita in un solo anno
  • Data di pubblicazione: 2012
  • Target: adulti, generale
Testi (105)
  • Genere: saggi

Sono presenti 2 copie, di cui 1 in prestito.

Biblioteca Collocazione Inventario Stato Prestabilità Rientra
SCANZOROSCIATE 004.09 DAV SCA-38866 Su scaffale Prestabile
ZANICA 004.09 DAV ZNC-109007 In prestito 11/04/2024
Vedi tutti

Ultime recensioni inserite

Nessuna recensione

Codice da incorporare

Copia e incolla sul tuo sito il codice HTML qui sotto.