Computation, Proof, Machine : Mathematics Enters a New Age