284
edits
Changes
Jump to navigation
Jump to search
Line 11:
Line 11: + + +
Talk:Fermat's Last Theorem (view source)
Revision as of 15:15, December 17, 2009
, 15:15, December 17, 2009why mention criticism later retracted?
"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. [[User:Tomkup32|Tomkup32]] 09:26, 9 December 2009 (EST)
"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. [[User:Tomkup32|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. [[User:Yoritomo|Yoritomo]] 10:15, 17 December 2009 (EST)