|
| POSSEDUTO (se manca la collocazione vai al documento contenente) | |
| Autore principale: | Davis, Martin, 1928-2023.
|
| Titolo: | The universal computer : the road from Leibniz to Turing / Martin Davis. |
| Pubblicazione: | New York : W.W. Norton, 2000. |
| Descrizione fisica: | XII, 257 p. : ritr. ; 24 cm |
| Contiene: | Indice: Preface. Introduction. 1. Leibniz's dream 2. Boole turns logic into algebra 3. Frege: from breakthrough to despair 4. Cantor: detour through infinity 5. Hilbert to the rescue 6. Gödel upsets the applecart 7. Turing conceives of the all-purpose computer 8. Making the first universal computers 9. Beyond Leibniz's dream. Epilogue. Notes. References. Index |
| ISBN: | 0393047857 |
| Discipline: | Logica matematica--Studi. Cibernetica e Informatica--Studi. |
| Sudd. cronologiche: | Secolo XIX. Secolo XX. |
| Collocazione: | LS 12018 |
| Nota di esemplare: | Mostra nota di esemplare |
| 000000392695 |
--------------------------------------