Martin Davis - Il calcolatore universale (2003) - ITA

Autore:
data: – 17.10.2014, 20:36
Viste: 1 596
Commenti: 0
Gruppo:
Descrizione articolo

Da Leibniz a Turing-The Universal Computer-The road from Leibniz to Turing 2000
Genere: Scienza  | Lingua: Italiano | Editore: Adelphi | Collana: Biblioteca Scintifica 35
Anno: 2003 ed.ITA 2012 digi Ed. | Formato: Pdf 321 Pagine | Dimensioni: 8.9 MB
Descrizione:
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à.

 

 

 

 

Come segnalare i link off-line (o altri problemi)?

 

Come trovarci sempre (Telegram)
Importante : Come trovarci sempre...
clicca per vedere
come diventare Vip
Vip: come diventare vip...
clicca per vedere
Premium : Offerta FileStore.me
clicca qua per l'offerta
Informazione
Gli utenti del Visitatori non sono autorizzati a commentare questa pubblicazione.
Nuovi Film