Includi: almeno uno dei seguenti filtri
× Classe 003*
× Classe 004*
× Classe 005*
× Classe 006*
× Classe 62*
Includi: nessuno dei seguenti filtri
× Editore Bollati Boringhieri <casa editrice>
× Target di lettura Elementari, età 6-10
× Target di lettura Ragazzi, età 11-15
× Target di lettura Prescolare, età 0-5
× Soggetto Manuali
Includi: tutti i seguenti filtri
× Soggetto Storia
× Editore Adelphi edizioni <Milano>

Trovati 1 documenti.

Il calcolatore universale
0 0 0
Materiale linguistico moderno

Davis, Martin

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

Milano : Adelphi, [2003]

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