Zulip Chat Archive

Stream: new members

Topic: Does FLT require AC?

Lars Ericson (May 14 2023 at 12:18):

Does Wile's proof of Fermat's Last Theorem require the Axiom of Choice?

Some views:

Kevin Buzzard (May 14 2023 at 12:29):

Yes in practice: all proofs use a bunch of harmonic analysis which is traditionally set up with AC. Can this be done without AC? All the people who know the relevant harmonic analysis would, I suspect, not be remotely interested in finding out the answer to this question, because whether or not a proof uses AC is rather a niche question in mainstream maths circles.

Jason Rute (May 14 2023 at 20:26):

For someone like me who gets to this, just note most of the discussion is on the other post: #new members > Does FLT require LEM?

Last updated: Dec 20 2023 at 11:08 UTC