|
| POSSEDUTO (se manca la collocazione vai al documento contenente) | |
| Autore principale: | Davis, Martin, 1928-2023.
|
| Titolo: | Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti. |
| Pubblicazione: | Milano : Adelphi, c2003. |
| Descrizione fisica: | 321 p. : ritr. ; 22 cm |
| Serie: | Biblioteca scientifica ; 35 |
| Note: | Tit. orig.: The universal computer : the road from Leibniz to Turing |
| Contiene: | Indice: Prefazione. Introduzione. 1. Il sogno di Leibniz 2. Boole trasforma la logica in algebra 3. Frege: dalla grande conquista al controllo 4. Cantor: una deviazione verso l'infinito 5. Hilbert vola al soccorso 6. Gödel manda tutto all'aria 7. Turing e l'idea di calcolatore generale 8. La costruzione dei primi calcolatori universali. Epilogo. Note. Bibliografia. Indice analitico |
| Visionato in: | IMSS |
| Altri autori: | Rigamonti, Gianni.
|
| Discipline: | Logica matematica--Studi. Cibernetica e Informatica--Studi. |
| Sudd. cronologiche: | Secolo XIX. Secolo XX. |
| Correlato a: |  Chiffi, Daniele. Recensione]. |
| Collocazione: | LS 14297 |
| Nota di esemplare: | Mostra nota di esemplare |
| 000000923263 |
--------------------------------------