Search All of the Math Forum:

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

Topic: Who's up for a friendly round of debating CANTORS PROOF?
Replies: 134   Last Post: Aug 29, 2011 7:17 PM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,124 Registered: 5/20/10
Re: Who's up for a friendly round of debating CANTORS PROOF?
Posted: Aug 17, 2011 2:27 AM

On Aug 16, 7:27 am, "porky_pig...@my-deja.com" <porky_pig...@my-
deja.com> wrote:
> On Aug 13, 11:02 pm, Rupert <rupertmccal...@yahoo.com> wrote:
>

> > On Aug 14, 10:33 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
> > > I summarised my 3 main points on why Transfinite Sets don't exist.
>
> > > COMPUTATIONAL
> > > The diagonal is not BOUND to the countable SET of reals.
> > > The identity diagonal is just 1 particular ordering, FREE in LIST.

>
> > Well, let's start here. I'm afraid I have absolutely no idea what this
> > means. Perhaps you could try to make it clearer to me.

>
> Read: he's willing to argue only on his (ill-defined and not properly
> understood) terms. In other words, he'll drag you down to his level
> and then beat you with experience.

What term are you having trouble with?

--------------------------------------------

So the anti-diag function is

AD = rotatedigits ( DIAG ( LIST ))

but LIST is actually a set with no particular ordering.
more importantly it's an infinite set so there are infinite potential
orderings.

AD = rotatedigits ( sDIAG ( SET, p ))

where p could be a natural number that determines which permutation of
the SET to use

---------------

Does anybody get this far that the DIAGONALS, MISSING REALS, SETS THAT
DON'T CONTAIN THEIR INDEX, or MISSING SUBSETS are
Dependent_On_The_Ordering of the given LIST_OF_REALS (*or
SEQUENCE_OF_SUBSETS in the Powerset version*) ?

Herc

Date Subject Author
8/13/11 Graham Cooper
8/13/11 Rupert
8/14/11 SPQR
8/14/11 Rupert
8/14/11 SPQR
8/14/11 Rupert
8/14/11 Frederick Williams
8/14/11 Graham Cooper
8/15/11 Graham Cooper
8/20/11 Rupert
8/20/11 Graham Cooper
8/20/11 Graham Cooper
8/20/11 SPQR
8/15/11 Porky Pig Jr
8/17/11 Graham Cooper
8/17/11 at1with0
8/17/11 Jim Burns
8/18/11 Transfer Principle
8/17/11 mueckenh@rz.fh-augsburg.de
8/17/11 SPQR
8/17/11 at1with0
8/18/11 Graham Cooper
8/18/11 SPQR
8/18/11 at1with0
8/19/11 mueckenh@rz.fh-augsburg.de
8/19/11 SPQR
8/20/11 Virgil
8/20/11 mueckenh@rz.fh-augsburg.de
8/20/11 SPQR
8/20/11 Graham Cooper
8/20/11 SPQR
8/18/11 mueckenh@rz.fh-augsburg.de
8/19/11 hagman
8/19/11 mueckenh@rz.fh-augsburg.de
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/20/11 SPQR
8/20/11 Graham Cooper
8/20/11 SPQR
8/20/11 Graham Cooper
8/20/11 SPQR
8/19/11 Graham Cooper
8/20/11 at1with0
8/20/11 Graham Cooper
8/20/11 at1with0
8/20/11 Graham Cooper
8/20/11 at1with0
8/20/11 Graham Cooper
8/20/11 SPQR
8/20/11 Graham Cooper
8/21/11 SPQR
8/21/11 Peter Webb
8/21/11 Graham Cooper
8/20/11 SPQR
8/20/11 Graham Cooper
8/20/11 Jim Burns
8/20/11 Graham Cooper
8/20/11 SPQR
8/20/11 at1with0
8/20/11 Graham Cooper
8/21/11 SPQR
8/21/11 mueckenh@rz.fh-augsburg.de
8/21/11 SPQR
8/21/11 mueckenh@rz.fh-augsburg.de
8/21/11 mueckenh@rz.fh-augsburg.de
8/21/11 Graham Cooper
8/21/11 SPQR
8/21/11 SPQR
8/20/11 SPQR
8/20/11 Graham Cooper
8/20/11 SPQR
8/20/11 SPQR
8/19/11 SPQR
8/18/11 Graham Cooper
8/18/11 SPQR
8/18/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 SPQR
8/19/11 Graham Cooper
8/19/11 mueckenh@rz.fh-augsburg.de
8/19/11 SPQR
8/13/11 at1with0
8/14/11 donstockbauer@hotmail.com
8/14/11 Marshall
8/15/11 Graham Cooper
8/14/11 Transfer Principle
8/17/11 master1729
8/18/11 Transfer Principle
8/14/11 Newberry
8/17/11 Transfer Principle
8/16/11 DBatchelo1
8/17/11 Graham Cooper
8/17/11 Dan Christensen
8/18/11 Newberry
8/18/11 SPQR
8/18/11 Newberry
8/19/11 SPQR
8/19/11 Newberry
8/18/11 Dan Christensen
8/18/11 Newberry
8/18/11 Graham Cooper
8/18/11 Graham Cooper
8/18/11 Dan Christensen
8/18/11 Virgil
8/18/11 Graham Cooper
8/17/11 mueckenh@rz.fh-augsburg.de
8/17/11 SPQR
8/17/11 mueckenh@rz.fh-augsburg.de
8/17/11 SPQR
8/18/11 DBatchelo1
8/18/11 mueckenh@rz.fh-augsburg.de
8/18/11 SPQR
8/19/11 mueckenh@rz.fh-augsburg.de
8/19/11 SPQR
8/20/11 Virgil
8/19/11 Newberry
8/29/11 |-| E R C
8/29/11 Virgil
8/29/11 Graham Cooper