Rendered at 21:55:23 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
ggm 21 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.
arcfour 17 hours ago [-]
I love these little anecdotes on HN, they are like a little dessert post-main-post. Thanks for sharing :-) what an incredible thing to have had the scoop on!
ChaitanyaSai 20 hours ago [-]
Lovely story, thank you :)
jen729w 21 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.
I wish to live my life so I can say one day 'Nothing I ever do again will.."
Daneel_ 17 hours ago [-]
Thank you for linking it. What a powerful moment.
12 hours ago [-]
elromulous 23 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 21 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 22 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 21 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 20 hours ago [-]
> he's still responsible for the theorem being proved.
I think you have an odd definition of "responsible". Many (most?) theorems start out as conjectures, and I would strongly disagree that just because someone first formulated a problem that they're "responsible" for the eventual solution.
applfanboysbgon 20 hours ago [-]
It's not just that he formulated the problem, though. It was specifically the fact that he claimed he had a proof which led to the proof, and it was only because people credibly believed he had one that they spent so much effort trying to (supposedly, re-)discover it.
hn_throwaway_99 20 hours ago [-]
> and it was only because people credibly believed he had one that they spent so much effort trying to (supposedly, re-)discover it.
That's not true. Even early on, most mathematicians doubted he had a proof. But I'd check out the history of the problem as described on Wikipedia. There was considerable research into the problem before Fermat, and general research into Diophantine equations had gone on for over a thousand years before Fermat. I have no doubt there would have been significant interest into solving the problem even if Fermat had never written his "I have a proof but it's too big to fit in the margin" note.
duskwuff 16 hours ago [-]
I have to agree. Even if it hadn't been designated as Fermat's Last Theorem, the problem would likely have ended up in some comparable list of interesting conjectures (e.g. Hilbert's problems, the Erdős problems, the Millennium Prize problems, etc).
raverbashing 19 hours ago [-]
I think he had a hunch, and maybe in his mathematic mind he got to the right answer by the wrong path
But yes had him not pointed it out maybe it would have been relegated to a mathematical curiosity or something
I think there's a deeper (but simpler) reason for it, besides the way Wiles proved it
odyssey7 22 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.
lmntryflt 22 hours ago [-]
[dead]
hn_throwaway_99 20 hours ago [-]
Quite literally, WTF is that supposed to mean?
kjs3 20 hours ago [-]
It's the internet. Don't feed the trolls. Or the loons.
seanhunter 16 hours ago [-]
Pretty sure Fermat didn’t have a proof.
For one thing, Fermat wasn’t actually a “professional” mathematician. He was a lawyer and judge and was known for having remarkable intuition but not really troubling himself too much with details of proofs etc. For example Descartes famously called him a “deficient mathematician”[1] in an angry exchange of letters over a technique that Fermat had discovered to geometrically construct a tangent to a particularly problematic curve called Descartes’ Folia using a technique we would now recognise as being the definition of the derivative as the limit of the difference quotient.
Many accomplished mathematicians were not professional mathematicians. Surprisingly enough, many were in fact lawyers.
Descartes was himself a lawyer (by training) then there were Leibnitz, Cayley, Viete. If you include Physics you will get a bigger list.
Descartes and Fermat ran a mutual admiration society, don't read to much into it.
Both had independently come up with coordinate geometry, linking algebra and geometry
I agree Fermat probably had a wrong proof but curb your condescension towards lawyers making contributions in mathematics.
seanhunter 13 hours ago [-]
You misunderstand. I have a tremendous respect for Fermat. I just meant he didn’t feel compelled to be totally rigorous. There are examples of contemporaries complaining about him skipping steps and hand waving etc. That was just how he did things.
srean 13 hours ago [-]
Agreed. Modern rigour is, well, quite modern.
jerkstate 22 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!
alichapman 19 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.
bell-cot 11 hours ago [-]
> do you think Fermat had an error
Yes, with million-to-one odds. Though I'd say "error or equivalent shortcoming, for the general case".
> that perhaps is more straightforward than Wiles's?
I don't recall a mathematical definition of "straightforward", but yes. Ignoring minor improvements, I'd guess there's a much better proof...though that might require a century of new developments in related parts of mathematics, before we'll have the necessary tools to write it down.
BinRoo 4 days ago [-]
Aside: the AI summary of this attributes the wrong person. This is Andrew Wiles.
OJFord 23 hours ago [-]
Do you mean Atish Joygobin, for the background music?
kurthr 1 days ago [-]
Who solved FLT.
panzi 18 hours 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
matltc 17 hours ago [-]
Now it's back to reality
Feeling the finality
Of his greatest achievement
He couldn't believe it
But it's true, now he's feelin' blue
So between me and you:
Think twice before you do
alex1138 24 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
seanhunter 16 hours ago [-]
Langlands is a massive programme but originated with Langlands conjecturing in 1967 about some deep connections between two seemingly unconnected areas of mathematics (number theory and harmonic analysis). In particular, he started with what was then called Taniyama-Shimura-Weil conjecture which concerns the number of integer solutions to particular types of equations of elliptic curves following (for no immediately obvious reason) a harmonic series. Wiles’ proof of FLT proved a special case of TSW and involved techniques which some of his students then used to prove the TSW conjecture in full generality, so is now called the “modularity theorem”.
In fact the Langlands programme began with Langlands writing his ideas in a letter which he wrote to Andre Weil because of his association with the TSW conjecture.
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.
"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
Bob Dylan reflecting on his early work https://www.youtube.com/shorts/Fh3pAJf-vdU
I wish to live my life so I can say one day 'Nothing I ever do again will.."
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.
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?
My personal guess is he figured out later that his proof was broken or limited and never got around to fixing it.
I think you have an odd definition of "responsible". Many (most?) theorems start out as conjectures, and I would strongly disagree that just because someone first formulated a problem that they're "responsible" for the eventual solution.
That's not true. Even early on, most mathematicians doubted he had a proof. But I'd check out the history of the problem as described on Wikipedia. There was considerable research into the problem before Fermat, and general research into Diophantine equations had gone on for over a thousand years before Fermat. I have no doubt there would have been significant interest into solving the problem even if Fermat had never written his "I have a proof but it's too big to fit in the margin" note.
But yes had him not pointed it out maybe it would have been relegated to a mathematical curiosity or something
I think there's a deeper (but simpler) reason for it, besides the way Wiles proved it
For one thing, Fermat wasn’t actually a “professional” mathematician. He was a lawyer and judge and was known for having remarkable intuition but not really troubling himself too much with details of proofs etc. For example Descartes famously called him a “deficient mathematician”[1] in an angry exchange of letters over a technique that Fermat had discovered to geometrically construct a tangent to a particularly problematic curve called Descartes’ Folia using a technique we would now recognise as being the definition of the derivative as the limit of the difference quotient.
[1] Explained entertainingly here https://youtu.be/xKfEmbWBgvM?is=qLnPvPXGDqgJCDC3
Descartes was himself a lawyer (by training) then there were Leibnitz, Cayley, Viete. If you include Physics you will get a bigger list.
Descartes and Fermat ran a mutual admiration society, don't read to much into it.
Both had independently come up with coordinate geometry, linking algebra and geometry
I agree Fermat probably had a wrong proof but curb your condescension towards lawyers making contributions in mathematics.
Yes, with million-to-one odds. Though I'd say "error or equivalent shortcoming, for the general case".
> that perhaps is more straightforward than Wiles's?
I don't recall a mathematical definition of "straightforward", but yes. Ignoring minor improvements, I'd guess there's a much better proof...though that might require a century of new developments in related parts of mathematics, before we'll have the necessary tools to write it down.
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
Feeling the finality
Of his greatest achievement
He couldn't believe it
But it's true, now he's feelin' blue
So between me and you:
Think twice before you do
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
In fact the Langlands programme began with Langlands writing his ideas in a letter which he wrote to Andre Weil because of his association with the TSW conjecture.
I enjoyed this explanation https://youtu.be/4dyytPboqvE?is=VFFjLHSk7vgosN54 by Ed Frenkel.
its phenomenology porn