Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Matheology § 236
Replies:
5
Last Post:
Apr 4, 2013 11:34 PM




Matheology § 236
Posted:
Apr 4, 2013 3:26 AM


Tarski?s theorem: (For all infinite sets X there exists a bijection of X to X × X) ==> (Axiom of Choice). [...] Fréchet and Lebesgue refused to present it. Fréchet wrote that an implication between two well known propositions is not a new result. Lebesgue wrote that an implication between two false propositions is of no interest. [Jan Mycielski: "A System of Axioms of Set Theory for the Rationalists", Notices of the AMS 53,2 (2006) 206213] http://www.ams.org/notices/200602/feamycielski.pdf
Regards, WM



