In —, Gerhard Frey called attention to the unusual properties of this same curve, now called a Frey curve. Mathematically, the conjecture says that each elliptic curve with rational coefficients can be constructed in an entirely different way, not by giving its equation but by using modular functions to parametrise coordinates x and y of the points on it. In , Jean-Pierre Serre provided a partial proof that a Frey curve could not be modular. However his partial proof came close to confirming the link between Fermat and Taniyama. His article was published in However, despite the progress made by Serre and Ribet, this approach to Fermat was widely considered unusable as well, since almost all mathematicians saw the Taniyama—Shimura—Weil conjecture itself as completely inaccessible to proof with current knowledge.
|Published (Last):||5 December 2004|
|PDF File Size:||13.25 Mb|
|ePub File Size:||8.19 Mb|
|Price:||Free* [*Free Regsitration Required]|
His father worked as the chaplain at Ridley Hall, Cambridge , for the years — He stopped at his local library where he found a book about the theorem. Together these colleagues worked on the arithmetic of elliptic curves with complex multiplication by the methods of Iwasawa theory.
He further worked with Barry Mazur on the main conjecture of Iwasawa theory over the rational numbers , and soon afterward, he generalized this result to totally real fields. Ribet said. Finally, at the end of his third lecture, Dr. Wiles concluded that he had proved a general case of the Taniyama conjecture. Wiles tried and failed for over a year to repair his proof.
According to Wiles, the crucial idea for circumventing, rather than closing, this area came to him on 19 September , when he was on the verge of giving up. Together with his former student Richard Taylor , he published a second paper which circumvented the problem and thus completed the proof.
Both papers were published in May in a dedicated issue of the Annals of Mathematics. Wiles has been awarded a number of major prizes in mathematics and science:.
Wiles's proof of Fermat's Last Theorem
The methods introduced by Wiles and Taylor are now part of the toolkit of number theorists, who consider the FLT story closed. But number theorists were not the only ones electrified by this story. I was reminded of this unexpectedly in when, in the space of a few days, two logicians, speaking on two continents, alluded to ways of enhancing the proof of FLT — and reported how surprised some of their colleagues were that number theorists showed no interest in their ideas. The logicians spoke the languages of their respective specialties — set theory and theoretical computer science — in expressing these ideas. Over the last few centuries, mathematicians repeatedly tried to explain this contrast, failing each time but leaving entire branches of mathematics in their wake.
His father worked as the chaplain at Ridley Hall, Cambridge , for the years — He stopped at his local library where he found a book about the theorem. Together these colleagues worked on the arithmetic of elliptic curves with complex multiplication by the methods of Iwasawa theory. He further worked with Barry Mazur on the main conjecture of Iwasawa theory over the rational numbers , and soon afterward, he generalized this result to totally real fields.
Wiles's proof of Fermat's Last Theorem
From a young age he demonstrated a strong interest in mathematical enigmas and problems. When he was still a small child he loved to go into public libraries in search of books containing problems and enigmas. The young Wiles remained fascinated by the problem. An equation so simple to enunciate had eluded some of the most able mathematicians of the world and the boy then began to fantasise hoping to find the elementary proof that had eluded the others. Wiles hypothesised that Fermat did not have a knowledge in the mathematical field superior to his own and he therefore sought a proof with his limited knowledge. Elliptic curves and modular arithmetic[ edit ] Specifically Wiles analysed some elliptic curves in modular arithmetic.