Timeline for Has Fermat's Last Theorem per se been used?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 21, 2013 at 6:06 | history | edited | S. Carnahan♦ | CC BY-SA 3.0 |
Perhaps we should link to the abstract page, instead of updating the pdf link each time a new version of a paper appears
|
| S Oct 21, 2013 at 6:03 | history | suggested | Stefan Keil | CC BY-SA 3.0 |
Replaced link with latest version.
|
| Oct 21, 2013 at 6:00 | review | Suggested edits | |||
| S Oct 21, 2013 at 6:03 | |||||
| Aug 28, 2013 at 14:06 | vote | accept | Colin McLarty | ||
| Aug 27, 2013 at 22:14 | comment | added | Colin McLarty | This does not refute the centuries old consensus that FLT is a rather isolated fact in number theory. But it is a serious application. Keil wanted to complete a calculation and the easiest way he could see to do it was FLT. | |
| Aug 27, 2013 at 11:58 | comment | added | Franz Lemmermeyer | FLT for exponent 7 can be proved using a standard 2-descent. It is arguably simpler than FLT for exponent 3, which requires 3-descent or a 2-descent over number fields. | |
| Aug 27, 2013 at 10:52 | comment | added | Oliver Nash | On the one hand this is, of course, awesome. On the other, this only uses FLT for n=7 so it is possible to argue it doesn't count as a real application. Still very satisfying though! | |
| Aug 26, 2013 at 17:40 | comment | added | Alex B. | @ColinMcLarty: it is an absolutely serious use. There are other ways of doing this (rational points on the corresponding modular curves), but possibly not easier or more elementary than this one. | |
| Aug 26, 2013 at 17:33 | comment | added | Colin McLarty | In that corollary he needs to show certain rational numbers $q$ and $q-1$ cannot both be 7th powers, and he gets that immediately from degree 7 FLT. Looks like a serious use to me. | |
| Aug 26, 2013 at 16:51 | history | answered | Alex B. | CC BY-SA 3.0 |