Martin Davis

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,...