FOM: Cantor'sTheorem & Paradoxes & Continuum Hypothesis
Kanovei
kanovei at wmwap1.math.uni-wuppertal.de
Sun Feb 11 20:35:58 EST 2001
> From: "Robert Tragesser" <rtragesser at hotmail.com>
>...the proof of Cantor's Theorem really
>seems to be very much more intractably
>dependent on tricks of logic and language
Hardly one can find *tricks* of anything
(especially in plural) in few lines of the
diagonal argument.
What Cantor's theorem is really dependent on is
the assumption that P(N) (the continuum) *already exists*
to the moment of writing the proof and, say, will not
gain new elements until the proof is finished.
V.Kanovei
More information about the FOM
mailing list