Martin Davis
Tra gli innumerevoli fili di Arianna che si possono seguire per interpretare lo sviluppo del moderno, il libro di 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 – è lungi dall’essere...
Traduzione di Gianni Rigamonti
2003, pp. 321, isbn: 9788845917929