Il calcolatore universale. Da Leibniz a Turing

Scarica l'e-book Il calcolatore universale. Da Leibniz a Turing in formato pdf. L'autore del libro è Martin Davis. Buona lettura su grandtoureventi.it!

Grandtoureventi.it Il calcolatore universale. Da Leibniz a Turing Image

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\

INFORMAZIONE

DATA
2003
DIMENSIONE
9,62 MB
AUTORE
Martin Davis
NOME DEL FILE
Il calcolatore universale. Da Leibniz a Turing.pdf
Il Calcolatore Universale Da Leibniz a Turing

Martin Davis - Il calcolatore universale Da Leibniz a Turing (2012) FORMATO PDF 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 […]

Il calcolatore universale. Da Leibniz a Turing by Martin D ...

Salva Salva Davis Martin Il Calcolatore Universale Da Leibniz ... per dopo. 159 visualizzazioni. 1 1 mi piace 0 0 non mi piace. Davis Martin Il Calcolatore Universale Da Leibniz a Turing. Caricato da Marco Baio. ... Contrassegna per contenuti inappropriati. Salva Salva Davis Martin Il Calcolatore Universale Da Leibniz ... per dopo. 1 1 mi piace ...

LIBRI CORRELATI