Computation, Proof, Machine: Biographical Landmarks