Talk:Fermat's Last Theorem

From Wikipedia, the free encyclopedia

You have new messages (last change).

This is the talk page for discussing improvements to the Fermat's Last Theorem article.
This is not a forum for general discussion about the article's subject.
Article policies
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).

Penrose and his renown have no bearing on anything. Rather, Escultura was proved wrong by Andrew Wiles providing a proof of the theorem. There is no obligation on anyone to prove Escultura wrong; rather, the burden is on Escultura to prove his assertion. -- Jibal 05:55, 29 December 2006 (UTC)
I did not assert anything. I PUBLISHED the counterexamples to FLT to prove the conjecture wrong. Unless a PUBLISHED REFUTATION comes along the counterexamples stand.

E. E. Escultura


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

This is just a minor editing of the above statement. A proof is no proof until it has overcome all challenges and criticisms and Andrew Wiles' proof has plenty of them both in the scientific literature and in the many blogs, fora, threads, chatrooms and websites across the internet that have not been refuted. Until that time it remains, at best, controversial. 58.178.88.219 12:54, 19 December 2006 (UTC) E. E. Escultura

No, a proof is a proof when it is valid. And there is no burden to refute the unending stream of "challenges and criticisms" on blogs, etc.; it is the challenger's burden to prove their assertions, which they cannot do because FLT, controversial or not, has been proved. -- Jibal 05:50, 29 December 2006 (UTC)
A PUBLISHED challenge to a proof requires PUBLISHED refutation to shoot down. Otherwise, the challenge stands. Who passes judgment on the validity of a proof? Furthermore, the published counterexamples to FLT showing that the conjecture is false require published refutation to shoot down. Otherwise, they stand. E. E. Escultura


[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)

I'm not clear on how this would give anyone comfort, or why you think that anyone might not have considered this before you suggested it. -- Jibal 06:03, 29 December 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)
I was the one who wrote that line; it was meant to clarify things for those non so adept in the higher levels of math. However, you are correct; you're phrasing is superior.--HereToHelp 01:58, 20 December 2006 (UTC)

[edit] All Proofs Proven?!?

The article states before the TOC this:

"All the other theorems proposed by Fermat were proven, either in his own proofs or by other mathematicians, in the two centuries following their proposition. The theorem was not the last that Fermat conjectured, but the last to be proven."

I am curious if anyone could verify whether or not they were ALL proven. I recently read Fermat's Enigma by Simon Singh and I seem to remember reading that some of Fermat's conjectures were disproved. He made a lot in his lifetime and he rarely wrote full proofs, so it would stand to reason that an amateur such as him would occasionally make a mistake. Nthitz 22:13, 7 January 2007 (UTC)

I think I remember that line...I have changed it accordingly.--HereToHelp 00:43, 8 January 2007 (UTC)
There is a difference between statements that Fermat asserted he had proven, and conjectures. For example, Fermat asserted he had shown exactly which primes could be written as a sum of two squares, or as a sum of a square and twice a square; on the other hand, he explicitly conjectured that all Fermat numbers would be prime. The latter conjecture was proven false. It is my understanding that in all cases where Fermat asserted publicly that he had proven or that he could prove a result, the results has in fact been proven. Fermat's Last Theorem was a bit of an oddity not just because it had not been settled, but also because his assertion of proof was a private note to himself, not a public claim. Magidin 20:15, 9 January 2007 (UTC)

[edit] usefulness?

i'm sure this is terribly relevant to daily life somehow, but the article doesn't say how. —The preceding unsigned comment was added by 71.103.88.223 (talk) 20:01, 26 January 2007 (UTC).

Like many topics in number theory, Fermat's Last Theorem has little application to the real world. Yet it is quite an interesting problem... Nthitz 20:18, 15 February 2007 (UTC)

It would be nice to show scans of the original bookpage where Fermat scribbled his comment, instead of the printed annotation version currently available. If the original book is lost, it should be noted in the description of the image. 80.202.98.204 18:51, 29 January 2007 (UTC)

[edit] Hypothetically...

Hypothetically, what if you had figured out a preposterously simple approach to proving Fermat's last theorem? The problem is - it's preposterously simple and you don't see how all the mathematicians before you could have overlooked it. Nor do you have a strict proof yet. Where would you go to check if this approach had any merit? —The preceding unsigned comment was added by 71.135.62.1 (talk) 01:11, 8 March 2007 (UTC).

Answer: graduate school? CMummert · talk 01:21, 8 March 2007 (UTC)

[edit] "Fermat's conjecture" re-directing here

Why is this a logical re-direct?? The most logical meaning of the term "Fermat's conjecture" is the statement that 2^(2^n)+1 is prime for all non-negative integers. This definition of the term makes sense in that this conjecture was later disproven. Any debate on the most logical meaning of this term?? Georgia guy 22:40, 18 March 2007 (UTC)

Why not make the redirect into a disambiguation page that links to here and to the article on that conjecture (if there is an article on it)? CMummert · talk 00:54, 19 March 2007 (UTC)
I'm not sure what you, Georgia guy, mean by most logical meaning of. Fermat conjectured a lot of things. Some of these became very famous, the most famous probably being what is now called his last theorem. However, it has not been a theorem until Andrew Wiles proved its correctness, it has been a conjecture.
I support CMummert's idea to make a disambiguation page on this. The page on Erdős' conjectures could work as model for this. — Ocolon 16:08, 19 March 2007 (UTC)
Well, so could the page Fermat's theorem. — Ocolon 16:12, 19 March 2007 (UTC)

[edit] External Links

"http://ne-plus-ultra.net/pubs/kisby_fermatarticle_rev.pdf" (Kisby, Adam William (2004). Fermat's Last Theorem Revisited: A Marginal Proof in Ten Steps (PDF). Parody.) seems to be down. Mike wiki 13:34, 22 March 2007 (UTC)

Thank you for pointing at this! It's much appreciated. I recovered the link from web.archive.org and if you're interested in the file you can download it now. — Ocolon 16:56, 22 March 2007 (UTC)
Retrieved from "http://en.wikipedia.org../../../f/e/r/Talk%7EFermat%27s_Last_Theorem_8d3f.html"