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 un soggetto facile o anche semplicemente...