Il calcolatore universale : da Leibniz a Turing
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 matematica, ingegneria elettronica e filosofia non è certo un soggetto facile. Comunissima perché chiunque usi un PC ha tra le mani, spesso senza saperlo, un "calcolatore universale" - l'epitome stessa della nozione di computazione. Pe ...[Read more...]
Monograph to Print
| Description | Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti. - Nuova ed. ampliata. - Milano : Adelphi, 2012. - 327 p. ; 20 cm. - (Gli Adelphi ; 423) |
| Series |
|
| Authors |
|
| Publishing location |
|
| Editor | |
| Subject | |
| Classificazion |
|
| Numbers |
|
| # SBN | # SBN |
| # Scheda | 273273 |
| Library | Inv. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|
| Verbania | 135284 | 004/DAV | Available | In store | None |