The Fabric of Reality: Towards a Theory of Everything (Penguin Science)

by David Deutsch

Computations, including the special computations that qualify as proofs, are physical processes. Proof theory is about how to ensure that those processes correctly mimic the abstract entities they are intended to mimic.