The Fabric of Reality: The Science of Parallel Universes--and Its Implications

by David Deutsch

proof theory is not a branch of mathematics — it is a science. Proofs are not abstract. There is no such thing as abstractly proving something, just as there is no such thing as abstractly calculating or computing something.