The Beginning of Infinity: Explanations That Transform the World

by David Deutsch

Proof A computation which, given a theory of how the computer on which it runs works, establishes the truth of some abstract proposition.