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

by David Deutsch

We can also see from the above discussion that proof is a physical process. In fact, a proof is a type of computation.