Talk:Fermat's Last Theorem

From Wikipedia, the free encyclopedia

This is the talk page for discussing improvements to the Fermat's Last Theorem article.

WikiProject Mathematics This article is within the scope of WikiProject Mathematics.
Mathematics grading: A Class High Importance  Field: Number theory
Consider nominating for Featured Article status. Tompw 19:09, 7 October 2006 (UTC)
This page has been selected for the release version of Wikipedia and rated A-Class on the assessment scale. It is in the category Math.


Previous discussions:

Contents

[edit] Escultura

I am starting to doubt that you really ar Escultura, because your internet is out of Australia. You need a user account so that there is one place to write to you for Wikipedia perpuroses. On Wikipedia, I only care about popular view and view of the integers is not popular. You need to stop talking about the integers on this page. Timothy Clemans 17:48, 7 July 2006 (UTC)

I couldn't care less about anyone's opinion. Im posting as a mathematician and I'll respond to any attack on my work and comment on mathematical points. I travel a lot and part of my family is in Australia; if you want my e-mail, here it is: escultur36@hotmail.com. 9:48, 8 July 2006. E. E. Escultura
You do not own Wikipedia therefore you must follow the rules here. Why did you change your email from domain name yahoo to hotmail? Why do you not have a Wikipedia user account? With the way Wikipedia works, you need to use wikicode to sign your name and put in the correct date and time using the UTC standard and Wikipedia's clock. Timothy Clemans 18:48, 8 July 2006 (UTC)
University of the Philippines Pampanga, Clark Field, Pampanga, Philippines; Residence: Blk 1 Lot 1 Granwood Villas, BF Homes, Q. C. 1120, Philippines;
E-mail: escultur36@yahoo.com; escultur36@hotmail.com
http://www.users.bigpond.com/pidro/home.htm; http://home.iprimus.com.au/pidro/
Timothy Clemans 18:51, 8 July 2006 (UTC)
I am just a blogger and I don't know the technical matter of creating an account in Wikipedia. I want my Yahoo account to be exclusively for scientific correspondences so that it won't be clogged with junk mails. Anyway, if there is nothing here that concerns my work I won't post anything. 9:00, 10 July 2006. E. E. Escultura
Escultura, it's very easy to create an account. Just click on "create account" in the top-right corner and follow the instructions. Dmharvey 00:59, 10 July 2006 (UTC)
If you were able to create accounts for Yahoo and Hotmail, then why do you think that it would be hard to create an account for Wikipedia? "Anyway, if there is nothing here that concerns my work I won't post anything." and yet you came here and started the "Wiles proof is wrong" thing(at least I think you did(I could check)). It is a really bad idea to use a Wikipedia article talk page as a blog! Timothy Clemans 18:46, 10 July 2006 (UTC)

I have an account already and I'm logging in from it. You are wrong. This talk page started calling me names last year but some of them were deleted, according to a blog, before I noticed some remaining ones a couple of months ago. That was when I posted the message on Wiles' wrong proof. You were the one calling me names and I never did. I just know that those with empty top resort to name-calling and pull out ideas from the flat of their foot. E. E. Escultura

I would like to finally prove Escultura wrong, in his claim that Wiles did not prove "Fermat's Last Theorem" true. There is a book, authored by the reknowned physicist Roger Penrose, titled, "The Road to Reality," that in the third section of chapter one (denoted as 1.3 in the upper margin), Penrose clearly states that Wiles did prove "Fermat's Last Theorem" on his second attempt. Unless Escultura, believes he has greater knowledge and insight than Roger Penrose (a man who has made great many contributions to science and mathematics).

A true mathematician does not believe or disbelieve what someone says no matter how knowledgeable but examines what is said to find out if it makes sense. —The preceding unsigned comment was added by 202.67.70.227 (talk • contribs) 2006-11-16T19:39:04.

[edit] Please split talk page up

This talk page is now 91KB in size. Please could someone who knows how archive all inactive discussions. Tompw 19:09, 7 October 2006 (UTC)

Done. There are instructions at WP:ARCHIVE. CMummert 00:55, 17 November 2006 (UTC)

[edit] Can Wiles' proof be carried out in second order arithmetic?

I am unaware of any published literature which shows that Wiles' proof can be carried out in second-order arithmetic (and thus no literature saying the proof can be carried out in PA). The best reference I have seen is an FOM discussion that was formerly referenced from the article. Please post references to any such published literature below this message. If no reliable sources can be found in a reasonably long period of time, the article will have to be modified. CMummert 00:24, 20 November 2006 (UTC)

Since no citation is forthcoming (and I have no idea where to find one), I have moved the following from the article. The prose was added by User:R.e.b, who suggested that removing it is OK.
These constructions use axioms that go beyond Zermelo-Frankel set theory (ZFC), which has led to a myth that Wiles' proof is not carried out in ZFC. In fact Wiles only uses a tiny piece of this machinery, only involving étale cohomology of schemes of finite type over prime fields, and this can be carried out in second order arithmetic, a much weaker theory than standard set theories. Everything in his proof can be done in second order arithmetic (and could probably be encoded in first order (Peano) arithmetic, though this would require considerable effort).
The issue of whether the proof can be formalized in ZFC or SOA is interesting, but not of central importance, since there is widespread acceptance of the proof. In order to keep the article verifiable, and since there is some disagreement in the professional community about the issue, I hope other editors will refrain from adding additional material to the article about the formalization of the proof unless a published reference for the material can be provided. CMummert 17:57, 7 December 2006 (UTC)

[edit] Wiles proof error?

However, no correct proof was found for 357 years, until it was finally proven using very deep methods by Andrew Wiles in 1995 (after a failed attempt a year before).

Wasn't the original proof proposed in 1993, 2 years before? 88.109.162.21 17:38, 20 November 2006 (UTC) Matty_B

[edit] Fermat's original proof

People worrying about what happened to the original proof by Fermat and what it could have contained can take comfort in that the proof might never have existed. Fermat could have been lying, or his proof could have been erroneous. JIP | Talk 12:00, 23 November 2006 (UTC)

[edit] Proposed correction

In section "Proof" the end of the first paragraph states: "This theorem said that every counterexample an + bn = cn to Fermat's Last Theorem would yield an elliptic curve defined as y2 = x(x − an)(x + bn) which would not be modular and therefore provide a counterexample to the Taniyama–Shimura conjecture. Fermat's Last Theorem and Taniyama-Shimura were now linked through the Epsilon conjecture; either both were true or both were false."

I believe the last sentence is not true. It should be: "Fermat's Last Theorem and Taniyama-Shimura were now linked through the Epsilon conjecture; the (conjectured) truth of Taniyama-Shimura was shown to imply the truth of Fermat's Last Theorem."

The difference is that even if Fermat's Last Theorem was shown to be true by some other means, it would only eliminate this particular counterexample to Taniyama-Shimura, which might have other counterexamples. Its truth would not be immediately implied by the truth of Fermat's Last Theorem.

You are correct there. The fact that the falsity of FLT implies the falsity of T-S is simply the contrapositive of the result. However, I don't much like your phrasing, for the reason that "conjecture" appears a little too often. It makes the statement seem tentative. What I would suggest is: "Fermat's Last Theorem and Taniyama-Shimura were now linked through the proof of the Epsilon conjecture; the truth of Taniyama-Shimura was shown to imply the truth of Fermat's Last Theorem." The fact that Taniyama-Shimura was conjectured to be truth is not really relevant to the implication, so I would definitely remove the parenthetical remark; and adding "the proof" before "Epsilon conjecture" would remind readers that, despite the name, it was then an established fact. At least, that's my suggestion. Magidin 15:07, 1 December 2006 (UTC)
I agree with your phrasing. I was only trying to draw attention to the fact that at this point in time the truth of T-S had not yet been settled, but of course that is not essential to the argument, so your proposal improves on it. Please go ahead and make this change as soon as it is convenient, as I do not have a wikipedia account, and I am not sure how long we must wait to give others a chance to comment on it. Thanks.
Isn't creating an account just a matter of choosing a user name and password and entering them into the appropriate boxes? But you don't need an account to edit the article, and you don't have to wait for anyone - you could have made the change when you first spotted the error (WP:Be bold). --Zundark 17:06, 1 December 2006 (UTC)