Libreria
>
Libri
>
Matematica e scienze
>
Filosofia della scienza
>
Il calcolatore universale. Da Leibniz a Turing

Il calcolatore universale. Da Leibniz a Turing - 9788845917929

Name: Il calcolatore universale. Da Leibniz a Turing
Brand: Adelphi
Price: 24.00 EUR
Author: Davis Martin
ISBN: 9788845917929

di Martin Davis edito da Adelphi, 2003

€ 24.00

Aggiungi
al carrello

Punti Accumulabili: +240

Aggiungi al Pozzo dei Desideri

Il calcolatore universale. Da Leibniz a Turing libro di Davis Martin

Informazioni bibliografiche del Libro

Titolo del Libro: Il calcolatore universale. Da Leibniz a Turing
Autore: Martin Davis
Editore: Adelphi
Collana: Biblioteca scientifica , Nr. 35
Data di Pubblicazione: 2003
Genere: scienze pure
Pagine: 321
Traduttore: Rigamonti G.
Dimensioni mm: 22 x 14 x 2
ISBN-10: 8845917924
ISBN-13: 9788845917929

Il calcolatore universale. Da Leibniz a Turing: 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.

Recensioni Scrivi la tua recensione del libro "Il calcolatore universale. Da Leibniz a Turing"

Sono disponibili anche queste edizioni di

-15%