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:
“Blessed be the inventor of photography! I set him above even the inventor of chloroform! It has given more positive pleasure to poor suffering humanity than anything else that has “cast up” in my time or is like to—this art by which even the “poor” can possess themselves of tolerable likenesses of their absent dear ones. And mustn’t it be acting favourably on the morality of the country?”
—Jane Welsh Carlyle (1801–1866)
“The tremendous outflow of intellectuals that formed such a prominent part of the general exodus from Soviet Russia in the first years of the Bolshevist Revolution seems today like the wanderings of some mythical tribe whose bird-signs and moon-signs I now retrieve from the desert dust.”
—Vladimir Nabokov (1899–1977)