3 ms·
"I don't believe in a proof done by a computer, says Pierre Deligne of the Institute for Advanced Study, an algebraic geometer and 1978 Fields Medalist. “In a w
by valera_rozuvan 11y ago
"I don't believe in a proof done by a computer, says Pierre Deligne of the Institute for Advanced Study, an algebraic geometer and 1978 Fields Medalist. “In a way, I am very egocentric. I believe in a proof if I understand it, if it’s clear.” While recognizing that humans can make mistakes, he adds: “A computer will also make mistakes, but they are much more diffcult to find."
THE DEATH OF PROOF by John Horgan
http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf