Andrew Wiles on proving Fermat’s Last Theorem (1995) [video] (youtube.com)
41 points by jackdoe 3 days ago
Full documentary: https://www.bbc.co.uk/programmes/b0074rxx
ggm 3 hours ago
I live in Australia. One day I received a very excited phonecall at a ludicrously early time from a Canadian Mathematician I knew (John McKay, Concordia. He's dead now but had been a figure in my childhood from his time in Edinburgh in the 60s. he had worked with John Conway early in both their careers) telling me this was rumoured to be coming, and asking me to get the word out and find out what I could. I pointed out I wasn't a mathematician or very well connected, he said "doesn't matter: Get to your national broadcaster and ask them to verify the story"
So I rang the ABC and asked to speak to the Science Desk. This was at around 7am by this time. I was connected immediately to Robyn Williams, the premier science communicator at the ABC, despite having no name, no evident back story or trust. He was absolutely delightful to talk to, agreed with a laugh that he often got excited calls about people squaring the circle or finding repeat patterns in PI digits and was used to crank callers, listened to me, probably did some checks and then said he'd contact somebody at Cambridge and see what the gen was. My memory is he called me back a little while later saying they'd confirmed a room was booked for a significant public announcement seminar, and thanked me for the tip. This was a long time ago, it's equally likely I misremembered and he gave me a name to check with in the UK and I did the leg work. The point is, I wasn't just told to bugger off.
Nowadays it would be all over twitter. John was a bit old school and liked phone calls. They had internet emails in 92 of course I think he just liked the physicality of a call.
ChaitanyaSai 2 hours ago
Lovely story, thank you :)
jen729w 3 hours ago
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
panzi 20 minutes ago
Andrew Wiley gently smiles, does his thing an voila!
Q.E.D. we agree and we all shout hurra
as he confirms what Fermat
jotted down on that margin
which could have used some enlarging
elromulous 5 hours ago
(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.
hackthemack 3 hours ago
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?
kadoban 4 hours ago
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.
applfanboysbgon 3 hours ago
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.
hn_throwaway_99 3 hours ago
raverbashing 2 hours ago
odyssey7 4 hours ago
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.
hn_throwaway_99 3 hours ago
alichapman 2 hours ago
When I was at uni my number theory lecturer said that if Fermat had a solution, it was only valid for regular primes.
jerkstate 5 hours ago
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!
BinRoo 3 days ago
Aside: the AI summary of this attributes the wrong person. This is Andrew Wiles.
OJFord 5 hours ago
Do you mean Atish Joygobin, for the background music?
kurthr 6 hours ago
Who solved FLT.
alex1138 6 hours ago
I've only skimmed it but Simon Singh's book on it seems reasonably accessible to non-experts
One interesting thing of FLT is Wiles is on record as saying it opened the door (I think. This is from memory) to Langlands Program, a series of mathematical connections
Harder problems of course exist, Riemann Hypothesis et al but FLT still took hundreds of years to solve
hingler36 6 hours ago
I read Singh's book a few years ago, I really enjoyed it and left with a basic understanding of the underlying math
QuesnayJr 5 hours ago
You remember correctly. His result is a special case of Langlands.
pseudohadamard 2 days ago
Just to check, this video isn't NSFW is it?
convolutedsoup 5 hours ago
This comment left me so bewildered that I wanted to create a hackernews account just to comment this.
esafak 5 hours ago
It might be a joke in reference to the video's title, "I loved every minute of it, however hard it had been".
convolutedsoup 3 hours ago
jackdoe 2 days ago
depends, I would say it is not safe for work as it makes you question what are you doing there :)
its phenomenology porn
ThrowawayTestr 6 hours ago
YouTube generally doesn't allow that