Sir Andrew John Wiles is an English mathematician and a Royal Society Research Professor at the University of Oxford, specialising in number theory. He is best known for proving Fermat's Last Theorem, for which he was awarded the 2016 Abel Prize and the 2017 Copley Medal and for which he was appointed a Knight Commander of the Order of the British Empire in 2000. In 2018, Wiles was appointed the first Regius Professor of Mathematics at Oxford. Wiles is also a 1997 MacArthur Fellow.
The modularity theorem states that elliptic curves over the field of rational numbers are related to modular forms in a particular way. Andrew Wiles and Richard Taylor proved the modularity theorem for semistable elliptic curves, which was enough to imply Fermat's Last Theorem. Later, a series of papers by Wiles's former students Brian Conrad, Fred Diamond and Richard Taylor, culminating in a joint paper with Christophe Breuil, extended Wiles's techniques to prove the full modularity theorem in 2001.
Richard Lawrence Taylor is a British mathematician working in the field of number theory. He is currently the Barbara Kimball Browning Professor in Humanities and Sciences at Stanford University.
Gerhard Frey is a German mathematician, known for his work in number theory. Following an original idea of Hellegouarch, he developed the notion of Frey–Hellegouarch curves, a construction of an elliptic curve from a purported solution to the Fermat equation, that is central to Wiles's proof of Fermat's Last Theorem.
The Gottfried Wilhelm Leibniz Prize, or Leibniz Prize, is awarded by the German Research Foundation to "exceptional scientists and academics for their outstanding achievements in the field of research". Since 1986, up to ten prizes have been awarded annually to individuals or research groups working at a research institution in Germany or at a German research institution abroad. It is considered the most important research award in Germany.
A modular elliptic curve is an elliptic curve E that admits a parametrization X0(N) → E by a modular curve. This is not the same as a modular curve that happens to be an elliptic curve, something that could be called an elliptic modular curve. The modularity theorem, also known as the Taniyama–Shimura conjecture, asserts that every elliptic curve defined over the rational numbers is modular.
The Last Theorem is a 2008 science fiction novel by Arthur C. Clarke and Frederik Pohl. It was first published in the United Kingdom by HarperVoyager in July 2008, and in the United States by Del Rey Books in August 2008. The book is about a young Sri Lankan mathematician who finds a short proof of Fermat's Last Theorem, while an alien invasion of Earth is in progress.
The problem in number theory known as "Fermat's Last Theorem" has repeatedly received attention in fiction and popular culture. It was proved by Andrew Wiles in 1994.
Peter Mann Winkler is a research mathematician, author of more than 125 research papers in mathematics and patent holder in a broad range of applications, ranging from cryptography to marine navigation. His research areas include discrete mathematics, theory of computation and probability theory. He is currently a professor of mathematics and computer science at Dartmouth College.
Ulrich Wilhelm Kohlenbach is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining.
In number theory, Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have infinitely many solutions.
Leonhard Wolfgang Bibel is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.
Wiles's proof of Fermat's Last Theorem is a proof by British mathematician Sir Andrew Wiles of a special case of the modularity theorem for elliptic curves. Together with Ribet's theorem, it provides a proof for Fermat's Last Theorem. Both Fermat's Last Theorem and the modularity theorem were believed to be impossible to prove using previous knowledge by almost all living mathematicians at the time.
Barry Charles Mazur is an American mathematician and the Gerhard Gade University Professor at Harvard University. His contributions to mathematics include his contributions to Wiles's proof of Fermat's Last Theorem in number theory, Mazur's torsion theorem in arithmetic geometry, the Mazur swindle in geometric topology, and the Mazur manifold in differential topology.
Fermat's Last Theorem is a popular science book (1997) by Simon Singh. It tells the story of the search for a proof of Fermat's Last Theorem, first conjectured by Pierre de Fermat in 1637, and explores how many mathematicians such as Évariste Galois had tried and failed to provide a proof for the theorem. Despite the efforts of many mathematicians, the proof would remain incomplete until 1995, with the publication of Andrew Wiles' proof of the Theorem. The book is the first mathematics book to become a Number One seller in the United Kingdom, whilst Singh's documentary The Proof, on which the book was based, won a BAFTA in 1997.
Kenneth Alan Ribet is an American mathematician working in algebraic number theory and algebraic geometry. He is known for the Herbrand–Ribet theorem and Ribet's theorem, which were key ingredients in the proof of Fermat's Last Theorem, as well as for his service as President of the American Mathematical Society from 2017 to 2019. He is currently a professor of mathematics at the University of California, Berkeley.
Fernando Quadros Gouvêa is a Brazilian number theorist and historian of mathematics who won the Lester R. Ford Award of the Mathematical Association of America (MAA) in 1995 for his exposition of Wiles's proof of Fermat's Last Theorem. He also won the Beckenbach Book Prize of the MAA in 2007 for his book with William P. Berlinghoff, Math through the Ages: A Gentle History for Teachers and Others . He is the Carter Professor of Mathematics at Colby College in Waterville, Maine.
Alwin Oswald Walther was a German mathematician, engineer and professor. He is one of the pioneers of mechanical computing technology in Germany.
Johannes Alfred Buchmann is a German computer scientist, mathematician and professor emeritus at the department of computer science of the Technische Universität Darmstadt.
Fermat's Last Tango is a 2000 off-Broadway musical about the proof of Fermat's Last Theorem, written by husband and wife Joshua Rosenblum and Joanne Sydney Lessner. The musical presents a fictionalized version of the real life story of Andrew Wiles, and has been praised for the accuracy of the mathematical content. The original production at the York Theatre received mixed reviews, but the musical was well received by mathematical audiences. A video of the original production has been distributed by the Clay Mathematics Institute and shown at several mathematical conferences and similar occasions. The musical has also been translated into Portuguese.
