Splitting proofs in two
by John from John D. Cook on (#V068)
"Ever since Euclid, mathematical proofs have served a dual purpose: certifying that a statement is true and explaining why it is true. In the future these two epistemological functions may be divorced. In the future, the computer assistant may take care of the certification and leave the mathematician to look for an explanation that humans can understand."
Dana Mackenzie, "What in the Name of Euclid Is Going On Here?", Science, 2005