Live data from Hacker News

Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

youtube.com

11–20 of 46 posts

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#11

Just to check, this video isn't NSFW is it?

This comment left me so bewildered that I wanted to create a hackernews account just to comment this.

It might be a joke in reference to the video's title, "I loved every minute of it, however hard it had been".

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#13
(disclaimer: I haven't watched this yet)

Mathematicians / folks knowledgeable on the subject - do you think Fermat had an error in his (lost) proof? Or that there exists a solution that perhaps is more straightforward than Wiles's?

My understanding is that Wiles had to use a ton of math (and invent some new math?) that had not yet been invented in Fermat's time.

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#14

(disclaimer: I haven't watched this yet) Mathematicians / folks knowledgeable on the subject - do you think Fermat had an error in his (lost) proof? Or that there exists a solution that perhaps is more straightforward than Wiles's? My understanding is that Wiles had to use a ton of math (and invent some new math?) that had not yet been invented in Fermat's time.

I don't know that much about math but I've read that one possibility is he had found a valid proof for n=4 and assumed that it generalized. Hopefully someone else who knows more about the subject chimes in!

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#15

(disclaimer: I haven't watched this yet) Mathematicians / folks knowledgeable on the subject - do you think Fermat had an error in his (lost) proof? Or that there exists a solution that perhaps is more straightforward than Wiles's? My understanding is that Wiles had to use a ton of math (and invent some new math?) that had not yet been invented in Fermat's time.

Consensus is that there's no way he had a correct, general proof.

My personal guess is he figured out later that his proof was broken or limited and never got around to fixing it.

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#16
post #15

(disclaimer: I haven't watched this yet) Mathematicians / folks knowledgeable on the subject - do you think Fermat had an error in his (lost) proof? Or that there exists a solution that perhaps is more straightforward than Wiles's? My understanding is that Wiles had to use a ton of math (and invent some new math?) that had not yet been invented in Fermat's time.

Consensus is that there's no way he had a correct, general proof. My personal guess is he figured out later that his proof was broken or limited and never got around to fixing it.

We haven’t yet reached the era in which we’re allowed to know about the technique. The simple, intuitive proof will become available to us when the time is right.

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#17
post #15

Earlier quoted context omitted.

Consensus is that there's no way he had a correct, general proof. My personal guess is he figured out later that his proof was broken or limited and never got around to fixing it.

We haven’t yet reached the era in which we’re allowed to know about the technique. The simple, intuitive proof will become available to us when the time is right.

[dead]

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#18
post #15

(disclaimer: I haven't watched this yet) Mathematicians / folks knowledgeable on the subject - do you think Fermat had an error in his (lost) proof? Or that there exists a solution that perhaps is more straightforward than Wiles's? My understanding is that Wiles had to use a ton of math (and invent some new math?) that had not yet been invented in Fermat's time.

Consensus is that there's no way he had a correct, general proof. My personal guess is he figured out later that his proof was broken or limited and never got around to fixing it.

The funny thing is that whether or not he had a proof, it was only definitively proved because he claimed he had a proof, so in a roundabout sense, he's still responsible for the theorem being proved. It's kind of crazy to think about your words carrying so much weight that somebody from hundreds of years in the future will dedicate (a significant portion of) their life to them.

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#19
Unfortunately this clip cuts just before the most emotional part. At 01:29 as he's about to break down, he says – this is my memory, sorry, paraphrasing:

"Nothing I ever do again…" – and then, having barely held it together for the last 30 seconds, he has to stop. It brings me to tears every time I watch it.

A man realising the sheer magnitude of the thing he did. It's the most relevant part for humanity today.

Ah! Found it. This is a better clip. https://www.youtube.com/watch?v=BaKyvr4ar1Q

Re: Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]

#20

(disclaimer: I haven't watched this yet) Mathematicians / folks knowledgeable on the subject - do you think Fermat had an error in his (lost) proof? Or that there exists a solution that perhaps is more straightforward than Wiles's? My understanding is that Wiles had to use a ton of math (and invent some new math?) that had not yet been invented in Fermat's time.

One of the arguments I have heard that he did not have a proof is the following.

He wrote his note in his copy of Arithmetica around 1637.

He most likely wrote his proof for the case of n=4 in the 1640s.

He sent letters to other mathematicians in 1640, 1657 where he talks about the case of n=3 but writes in such a way that it seems like he does not have the answer.

Why would he write n=4 after? If he had a generalized proof?

Why would he tease other mathematicians with a special case in 1657 if he already had a generalized proof?

Post reply on HN