Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Matheology § 213
Replies: 3   Last Post: Feb 9, 2013 6:44 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 14,622
Registered: 1/29/05
Matheology § 213
Posted: Feb 9, 2013 6:59 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


Matheology § 213

Zermelo?s proof had not indicated how to determine the covering gamma
uniquely, and yet one needed to be certain that gamma remained the
same throughout the proof. How could one be sure? Moreover, even if
such a covering gamma existed and could be defined, it was doubtful
that one could use gamma in the way that Zermelo had; for the subsets
M? of M were not defined in a unique way. Indeed, Lebesgue doubted
that one would ever be able to state a general method for well-
ordering a given set. {{That was very wise. But it shows one fact
above all: The possibility of a well-ordering of the reals had been
expected within reach at that time. Today its impossibility for the
reals is well known. It is not admitted that this is contradicting
Zermelo's proof because there cannot be a contradiction in a theory
ZFC which stands for Zero Falsifying Contradictions.}}
[Gregory H. Moore: "The Origins of Zermelos Axiomatization of Set
Theory" (1978)]
http://www.jstor.org/pss/30226178

Regards, WM



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.