Boken 'Computation, Proof, Machine' utforsker hvordan databehandling har revolusjonert vår forståelse av matematikk, inkludert den indre verden til 'rene' matematikere. Siden 1970-tallet har matematiske metoder, særlig begrepet bevis, gjennomgått en betydelig transformasjon, noe som har utfordret den tradisjonelle prioritetsstillingen til fornuft i forhold til beregning. Som med mange revolusjoner, stammer denne utviklingen fra innsiden. Begreper som databehandling, beregning og algoritmer har alltid spilt en viktig rolle i matematisk fremgang, men har ofte vært underkommunisert i den etablerte matematiske litteraturen. Denne fengslende boken tar oss med på en reise tilbake til matematikens fortid for å avdekket den skjulte historien som følger tråden av databehandling. Den inviterer oss til å revurdere dialogen mellom matematikk og naturvitenskap, samt forholdet mellom matematikk og datavitenskap. I tillegg gir den nye perspektiver på filosofiske begreper, som analytiske og syntetiske metoder.
