Fermat's Last Theorem and more can be proved more simply

March 04, 2013

Fermat's Last Theorem--the idea that a certain simple equation had no solutions-- went unsolved for nearly 350 years until Oxford mathematician Andrew Wiles created a proof in 1995. Now, Case Western Reserve University's Colin McLarty has shown the theorem can be proved more simply.

The theorem is called Pierre de Fermat's last because, of his many conjectures, it was the last and longest to be unverified.

In 1630, Fermat wrote in the margin of an old Greek mathematics book that he could demonstrate that no integers (whole numbers) can make the equation xn + yn = zn true if n is greater than 2.

He also wrote that he didn't have space in the margin to show the proof. Whether Fermat could prove his theorem or not is up to debate, but the problem became the most famous in mathematics. Generation after generation of mathematicians tried and failed to find a proof.

So, when Wiles broke through in 1995, "It was just shocking to a lot of us that it could be proved," McLarty, said. "And we thought, 'Now what?' There was no new most famous problem."

McLarty is a Case Western Reserve philosophy professor who specializes in logic and earned his undergraduate degree in mathematics. He hasn't developed a proof for Fermat, but has shown that the theorem can be proved with much less set theory than Wiles used.

Wiles relied on his own deep insight into numbers and works of others--including Alexander Grothendieck--to devise his 110-page proof and subsequent corrections.

Grothendieck revolutionized numbers theory, rebuilding algebraic geometry in the 1960s and 1970s. He used strong assumptions to support abstract ideas, including the idea of the existence of a universe of sets so large that standard set theory cannot prove they exist. Standard set theory is comprised of the most commonly used principals, or axioms, that mathematicians use.

McLarty calls Grothendieck's work "a toolkit," and showed, at the Joint Mathematics Meetings in San Diego in January, that only a small portion is needed to prove Fermat's Last Theorem.

"Most number theorists are like race car drivers. They get the best out of the car but they don't build the whole car," McLarty said. "Grothendieck created a toolkit to build cars from scratch."

"Where Grothendieck used strong set theory I've shown he could do with only a fraction of it," McLarty said. "I use finite-order arithmetic, where all sets are built from numbers in just a few steps.

"You don't need sets of sets of numbers, which Grothendieck used in his toolkit and Andrew Wiles used to prove the theorem in the 90s."

McLarty showed that all of Grothendieck's ideas, even the most abstract, can be justified using very little set theory--much less than standard set theory. Specifically, they can be justified using "finite order arithmetic." This uses numbers and sets of numbers and set of those and so on, but much less than standard set theory.

"I appreciate the wholeness of the foundation Grothedieck created," McLarty said. " I want to take the whole thing and make it more usable to practicing mathematicians."

Mathematician Harvey Friedman, who famously earned his undergraduate, master's and PhD from MIT in three years and began teaching at Stanford University at age 18, calls the work a "clarifying first step," ScienceNews reported. Friedman, now an emeritus mathematics professor at Ohio State University, calls for McLarty's work to be extended to see if the theorem can be proved by numbers alone, with no sets involved.

"Fermat's Last Theorem is just about numbers, so it seems like we ought to be able to prove it by just talking about numbers," McLarty said. "I believe that can be done, but it will require many new insights into numbers. It will be very hard. Harvey sees my work as a preliminary step to that, and I agree it is."McLarty will talk more about that specific result at the Association for Symbolic Logic North American Annual Meeting in Waterloo, Ontario, May 8-11.

Case Western Reserve University

Related Mathematics Articles from Brightsurf:

A new method for boosting the learning of mathematics
How can mathematics learning in primary school be facilitated? UNIGE has developed an intervention to promote the learning of math in school.

Could mathematics help to better treat cancer?
Impaired information processing may prevent cells from perceiving their environment correctly; they then start acting in an uncontrolled way and this can lead to the development of cancer.

People can see beauty in complex mathematics, study shows
Ordinary people see beauty in complex mathematical arguments in the same way they can appreciate a beautiful landscape painting or a piano sonata.

Improving geothermal HVAC systems with mathematics
Sustainable heating, ventilation, and air conditioning systems, such as those that harness low-enthalpy geothermal energy, are needed to reduce collective energy use and mitigate the continued effects of a warming climate.

How the power of mathematics can help assess lung function
Researchers at the University of Southampton have developed a new computational way of analyzing X-ray images of lungs, which could herald a breakthrough in the diagnosis and assessment of chronic obstructive pulmonary disease (COPD) and other lung diseases.

Mathematics pushes innovation in 4-D printing
New mathematical results will provide a potential breakthrough in the design and the fabrication of the next generation of morphable materials.

More democracy through mathematics
For democratic elections to be fair, voting districts must have similar sizes.

How to color a lizard: From biology to mathematics
Skin color patterns in animals arise from microscopic interactions among colored cells that obey equations discovered by Alan Turing.

US educators awarded for exemplary teaching in mathematics
Janet Heine Barnett, Caren Diefenderfer, and Tevian Dray were named the 2017 Deborah and Franklin Tepper Haimo Award winners by the Mathematical Association of America (MAA) for their teaching effectiveness and influence beyond their institutions.

Authors of year's best books in mathematics honored
Prizes for the year's best books in mathematics were awarded to Ian Stewart and Tim Chartier by the Mathematical Association of America (MAA) on Jan.

Read More: Mathematics News and Mathematics Current Events
Brightsurf.com is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon.com.