Talk:Fermat's Last Theorem
The first computer program I wrote - between high school and college - generated solutions to the Pythagorean Theorem. I guess I should have programmed it to count them, too. --Ed Poor Talk 21:25, 20 December 2007 (EST)
Axiom of choice
Any proof which uses the axiom of choice can be transformed into a proof that doesn't. Granted, it will be a somewhat more complicated proof, but it always works, and that's a fact. That is the reason that AC is much less controversial these days than it was, in the early 1900s.
There is a complete explanation of the process and the proof that it's reliable here.
"Any proof which uses the axiom of choice can be transformed into one that doesn't"?! Lol. If C is the axiom of choice, then C (vacuously) proves C. By your assertion, that proof can be 'transformed' into a proof not using C, which means you can prove C from ZF, which is a contradiction. Really, lol. Tomkup32 09:26, 9 December 2009 (EST)
Marilyn vos Savant
Is there any purpose in the last few sentences mentioning Marilyn vos Savant's criticism that she retracted a few years later? I don't think her mistaken criticism is relevant to Fermat's theorem. Yoritomo 10:15, 17 December 2009 (EST)
If we argue that the proof is invalid, we can't subsequently call this a "theorem" since that term indicates it has been proven. Gregkochuconn 09:01, 7 March 2012 (EST)