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

Topic: Objection to Cantor's Theorem
Replies: 62   Last Post: Jul 30, 2012 9:23 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
David C. Ullrich

Posts: 21,553
Registered: 12/6/04
Re: Objection to Cantor's Theorem
Posted: Jul 18, 2012 10:45 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Wed, 18 Jul 2012 03:03:39 +0100, "LudovicoVan"
<julio@diegidio.name> wrote:

><http://en.wikipedia.org/wiki/Cantor%27s_theorem>
>(Amended non-ascii characters.)
>
><< To establish Cantor's theorem it is enough to show that, for any given
>set A, no function f from A into P(A), the power set of A, can be
>surjective, i.e. to show the existence of at least one subset of A that is
>not an element of the image of A under f. Such a subset, B in P(A), is
>given by the following construction:
>
> B := { x in A | ~ x in f(x) }.
>
>This means, by definition, that for all x in A, x in B if and only if ~ x in
>f(x). >>
>
>So, the proof alleges to establish the there is no f from A into P(A) that
>can be surjective by postulating a set B that would not be in the image of
>f.


Huh? The existence of B is not "postulated". The set B is _defined_.

>This is invalid (circular) reasoning.

Nothing remotely circular about it.

>-- Impredicative definitions
>allow "meta-tricks".
>
>(I know there are plenty other proofs...)
>
>-LV
>




Date Subject Author
7/17/12
Read Objection to Cantor's Theorem
LudovicoVan
7/17/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/17/12
Read Re: Objection to Cantor's Theorem
Virgil
7/17/12
Read Re: Objection to Cantor's Theorem
Virgil
7/17/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/17/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/18/12
Read Re: Objection to Cantor's Theorem
Virgil
7/17/12
Read Re: Objection to Cantor's Theorem
Virgil
7/17/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/18/12
Read Re: Objection to Cantor's Theorem
Virgil
7/18/12
Read Re: Objection to Cantor's Theorem
Michael Stemper
7/18/12
Read Re: Objection to Cantor's Theorem
Virgil
7/18/12
Read Re: Objection to Cantor's Theorem
dilettante
7/18/12
Read Re: Objection to Cantor's Theorem
Virgil
7/19/12
Read Re: Objection to Cantor's Theorem
Michael Stemper
7/18/12
Read Re: Objection to Cantor's Theorem
Daryl McCullough
7/18/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/18/12
Read Re: Objection to Cantor's Theorem
Shmuel (Seymour J.) Metz
7/18/12
Read Re: Objection to Cantor's Theorem
Marshall
7/18/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/18/12
Read Re: Objection to Cantor's Theorem
Shmuel (Seymour J.) Metz
7/18/12
Read Re: Objection to Cantor's Theorem
David C. Ullrich
7/18/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/18/12
Read Re: Objection to Cantor's Theorem
David C. Ullrich
7/18/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/18/12
Read Re: Objection to Cantor's Theorem
David C. Ullrich
7/18/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/19/12
Read Re: Objection to Cantor's Theorem
Virgil
7/19/12
Read Re: Objection to Cantor's Theorem
W. Dale Hall
7/19/12
Read Re: Objection to Cantor's Theorem
Gus Gassmann
7/19/12
Read Re: Objection to Cantor's Theorem
Shmuel (Seymour J.) Metz
7/19/12
Read Re: Objection to Cantor's Theorem
David C. Ullrich
7/20/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/20/12
Read Re: Objection to Cantor's Theorem
David C. Ullrich
7/20/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/21/12
Read Re: Objection to Cantor's Theorem
hagman
7/22/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/27/12
Read Re: Objection to Cantor's Theorem
hagman
7/27/12
Read Re: Objection to Cantor's Theorem
Virgil
7/27/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/27/12
Read Re: Objection to Cantor's Theorem
Eddie
7/28/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/28/12
Read Re: Objection to Cantor's Theorem
Eddie
7/28/12
Read Re: Objection to Cantor's Theorem
Eddie
7/28/12
Read Re: Objection to Cantor's Theorem
Virgil
7/28/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/28/12
Read Re: Objection to Cantor's Theorem
Virgil
7/28/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/28/12
Read Re: Objection to Cantor's Theorem
Virgil
7/28/12
Read Re: Objection to Cantor's Theorem
David C. Ullrich
7/28/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/28/12
Read Re: Objection to Cantor's Theorem
Virgil
7/29/12
Read Re: Objection to Cantor's Theorem
hagman
7/29/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/29/12
Read Re: Objection to Cantor's Theorem
hagman
7/30/12
Read Re: Objection to Cantor's Theorem
LudovicoVan
7/22/12
Read Re: Objection to Cantor's Theorem
Shmuel (Seymour J.) Metz
7/20/12
Read Re: Objection to Cantor's Theorem
Shmuel (Seymour J.) Metz
7/18/12
Read Re: Objection to Cantor's Theorem
Virgil
7/18/12
Read Re: Objection to Cantor's Theorem
Virgil
7/27/12
Read Re: Objection to Cantor's Theorem
Eddie
7/27/12
Read Re: Objection to Cantor's Theorem
Eddie
7/27/12
Read Re: Objection to Cantor's Theorem
Eddie

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.