Graham, Ronald

It would 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.'