Quantum Computing since Democritus

by Scott Aaronson

a proof is a computation. In other words, a proof is a physical, mechanical process, such that, if the process terminates with a particular outcome, then you should accept that a given theorem is true.