Computation, Proof, Machine