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.
Il calcolatore universale. Da Leibniz a Turing
| Titolo | Il calcolatore universale. Da Leibniz a Turing |
| Autore | Martin Davis |
| Traduttore | G. Rigamonti |
| Argomento | Matematica e scienze Scienze: argomenti d'interesse generale |
| Collana | Biblioteca scientifica, 35 |
| Editore | Adelphi |
| Formato |
Libro |
| Pagine | 321 |
| Pubblicazione | 07/2003 |
| ISBN | 9788845917929 |
Libri dello stesso autore
Chi ha cercato questo ha cercato anche...
Io le patate le bollo vive. Ricerca, sperimentazione animale, vita
Roberto Sitia, Giuliano Grignaschi
Einaudi
La rivoluzione copernicana. L'astronomia planetaria nello sviluppo del pensiero occidentale
Thomas S. Kuhn
Einaudi
Le nuove vie della scoperta scientifica. Come l'intelligenza collettiva sta cambiando la scienza
Michael Nielsen
Einaudi