3 ms·
After reading many articles, posts, communication channels, etc. on the Internet about IUT Theory of Shinichi Mochizuki, I think I am starting to understand why
by valera_rozuvan 11y ago
After reading many articles, posts, communication channels, etc. on the Internet about IUT Theory of Shinichi Mochizuki, I think I am starting to understand why some people believe that the theory doesn't prove the ABC conjecture. It can be summed up by a phrase I found on some blog: "I believe in a proof if I understand it.". I have done some research, and came upon the source of that idea:
Pierre Deligne was first to express: "I don't believe in a proof done by a computer ... I believe in a proof if I understand it."
[George G. Szpiro, Kepler's Conjecture, John Wiley, 2003. p.21]
- 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
- deleted 11y ago[deleted]