A Quote by Ronald Graham on computers, correction, proof, science, and understanding

It wouild be very discouraging if somewhere down the line you could ask a computer if the Riemann hypothesis is correct and it said, 'Yes, it is true, but you won't be able to understand the proof.' John Horgan. Scientific American 269:4 (October 1993) 92-103.