Did Fermat Possess A General Proof?
The mathematical techniques used in Fermat's "marvelous" proof are unknown. Only one detailed proof of Fermat has survived, the above proof that no three coprime integers (x, y, z) satisfy the equation x4 − y4 = z2.
Taylor and Wiles's proof relies on mathematical techniques developed in the twentieth century, which would be alien to mathematicians who had worked on Fermat's Last Theorem even a century earlier. Fermat's alleged "marvellous proof", by comparison, would have had to be elementary, given mathematical knowledge of the time, and so could not have been the same as Wiles' proof. Most mathematicians and science historians doubt that Fermat had a valid proof of his theorem for all exponents n.
Harvey Friedman's grand conjecture implies that Fermat's last theorem can be proved in elementary arithmetic, a rather weak form of arithmetic with addition, multiplication, exponentiation, and a limited form of induction for formulas with bounded quantifiers. Any such proof would be elementary but possibly too long to write down.
Read more about this topic: Fermat's Last Theorem
Famous quotes containing the words possess and/or general:
“Men seek to be great; they would have offices, wealth, power, and fame. They think that to be great is to possess one side of nature,—the sweet, without the other side,—the bitter.”
—Ralph Waldo Emerson (1803–1882)
“In former times and in less complex societies, children could find their way into the adult world by watching workers and perhaps giving them a hand; by lingering at the general store long enough to chat with, and overhear conversations of, adults...; by sharing and participating in the tasks of family and community that were necessary to survival. They were in, and of, the adult world while yet sensing themselves apart as children.”
—Dorothy H. Cohen (20th century)