Search All of the Math Forum:

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

Topic: VIRGIL CANNOT ANTI-DIAGONALISE THIS POWERSET(N)! <<<<<
Replies: 5   Last Post: Dec 30, 2012 2:10 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: VIRGIL CAN ANTI-DIAGONALISE ANY POWERSET(N)! <<<<<
Posted: Dec 30, 2012 2:10 AM

In article <kbon4u\$ssa\$1@dont-email.me>,
"INFINITY POWER" <infinity@limited.com> wrote:

> "Virgil" wrote in message
>
> In article <kboeg7\$s7e\$1@dont-email.me>,
> "INFINITY POWER" <infinity@limited.com> wrote:
>

> > On Dec 30, 1:46 pm, Virgil <vir...@ligriv.com> wrote:
> > > In article
> > >
> > > camgi...@hush.com wrote:

> > > > USE YOUR ANTI-DIAGONAL METHOD
> > > > ON THIS SET OF *ALL* SUBSETS OF N!

> > >
> > > NO! I see no evidence of any surjection from any set to its power set

> >
> > I said N.
> >
> >

> > >
> > > S P(S)
> > > --- ------
> > > {} {{}} No bijection
> > > {a} {{a},{}} No bijection
> > > {a,b} {{a,b}, {a}, {b}, {}}
> > >

> >
> > That has nothing to do with the Powerset.
> >
> > For any FINITE SET you can create a larger set just by adding 1 element.
> >
> >
> >
> >
> > 1 <=> {1,3,4,5...}
> > 2 <=> {1,2,3,4,5,6,7,8,9,10...}
> > 3 <=> {1}
> > 4 <=> {2,4,6,8,10,...}
> > ..
> >
> > Virgil Fails to show any missing subset of N

>
> When you have given me an allegedly complete listing of the subsets of N
> I will find a set that you have omitted from your list.
>
> Supposing any list of subsets of N, f(1), f(2), f(3), ..., then
> the set S = { x in N: x not in f(x)}, is not included in that list.
>
>
>
> **********************HERC*****************
>
>
> I have posted it to you about 15 times over the last week.
>
> x e PS(N)_ss <-> TM_ss(x) halts
>
>
> Can you read logic formula at all?

Try mathematical formulae in sci.math
--

Date Subject Author
12/29/12 camgirls@hush.com
12/29/12 Virgil
12/29/12 INFINITY POWER
12/30/12 Virgil
12/30/12 INFINITY POWER
12/30/12 Virgil