Il 2012 è stato il centenario della nascita di Alan Turing, e nell'occasione sono state pubblicate molte opere su di lui. Questo libro in realtà è del 2000, ma Martin Davis l'ha aggiornato in alcune parti, compreso un rapido accenno al programma di computer Watson che nel 2011 vinse una gara del quiz televisivo "Jeopardy", proprio per l'occasione.

L'approccio di Davis non è esattamente biografico, anche se il testo contiene varie brevi biografie da quella di Leibniz a quella di Turing; il filo conduttore è il raccontare la storia di come l'umanità sia arrivata a definire il concetto di computazione in modo indipendente dalla mente umana: si parte appunto dall'intuizione un po' naif di Leibniz, che sperava che con un "calculemus!" si potessero appianare le controversie, alla prima formulazione specifica di Boole, al tentativo di Frege fatto crollare da Russell di sistematizzare tutta l'aritmetica, alla grande struttura immaginata da Hilbert di cui Gödel minó definitivamente le fondamenta, alle applicazioni pratiche delle teorie di Turing sulla computazione che sono alla base dei nostri attuali computer. (Davis è uno dei piú accaniti sostenitori della preminenza di Turing rispetto a von Neumann a riguardo della nascita dell'informatica, per la cronaca).

Il libro contiene un po' di formule di logica matematica, che però non sono troppo ostiche da seguire anche senza una formazione specifica: non preoccupatevi, non ci sono dimostrazioni. La lettura resta molto scorrevole e chiara, e ci sono moltissime note a fne testo per chi volesse approfondire gli argomenti: insomma é altamente consigliabile non solo agli appassionati ma anche ai semplici curiosi. L'unica pacca che trovo è che Davis non perde occasione di farci sapere che in un modo o nell'altro ha avuto a che fare con tutti i matematici dello scorso secolo...