Foundation Analysis of FLT: Traditional vs. Nonclassical - Couverture souple

Pierantozzi, Donald C.

 
9781082056734: Foundation Analysis of FLT: Traditional vs. Nonclassical

Synopsis

Preamble: Colin McLarty, a professor of philosophy and logician at Case Western Reserve University claims that it should be possible to formulate a much simpler proof of Fermat's Last Theorem, when compared to the other solution of Wiles' 110-page monster. As is well known, Wiles' proof relies heavily on the theoretical machinery introduced by Grothendieck. Quoting from a Science Daily article: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. [...] "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."According to the article, Ohio State emeritus Harvey Friedman has described McLarty's result as a "clarifying first step". McLarty retorts:"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."

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.