Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: § 488 Who said this?
Replies: 187   Last Post: May 7, 2014 10:06 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: � 488 Who said this?
Posted: May 2, 2014 5:06 PM

mueckenh@rz.fh-augsburg.de wrote:

> On Friday, 2 May 2014 21:04:55 UTC+2, Virgil wrote:

> > > But we know that every expression that can appear in eternity in
> > > the whole, possibly infinite, universe belongs to a countable
> > > set.

> > But the set of all subsets, or power set, is of provably greater
> > cardinality then any set itself, so the existence of even one countably
> > infinite set requires the existene of uncountably infinite sets.

>
> Then the only conclusion is that countability is nonsense.

Then one runs into the some problem with a finite set of definitions,
being unable to define every one of its own subsets, and thus requiring
undefinable elements in the set space.

> > > Therefore also every
> > > expression that can appear in the mathematical discourse belongs to a
> > > countable set.

> > That may be true in WMytheological discourse,

> It is true everywhere in set theories with the notion of countability

If there is set of definitions, whereever does one find enough
definitions to define all its subsets?
:
>
> a
> b
> aa
> ab
> ba
> bb
> aaa
> ...
>
>

> > > Nothing that can appear in this discourse, which *is* mathematics, can be
> > > uncountable.

If there are more that a finite number of definitions allowed, there are
automatically uncountaly many SETS of definitions, though not all those
sets of definitions will be individually defineable
> >
>
> > So that WM requires existence of sets for which there are no sets of all
> > subsets?

>
> All that exists in mathematics is (at most) countable.

But if countable sets then necessarily uncountable power sets,
at least outside of WM's wild weird world of WMytheology.

And in any case more sets than definitions for them

So some things individually undefinable.
--

Date Subject Author
4/29/14 mueckenh@rz.fh-augsburg.de
4/29/14 Virgil
4/29/14 mueckenh@rz.fh-augsburg.de
4/29/14 Virgil
4/29/14 mueckenh@rz.fh-augsburg.de
4/29/14 Virgil
4/29/14 FredJeffries@gmail.com
4/29/14 Brian Q. Hutchings
4/29/14 Virgil
4/29/14 Brian Q. Hutchings
4/30/14 mueckenh@rz.fh-augsburg.de
4/30/14 Virgil
4/30/14 thenewcalculus@gmail.com
4/30/14 FredJeffries@gmail.com
4/30/14 mueckenh@rz.fh-augsburg.de
4/30/14 FredJeffries@gmail.com
4/30/14 Virgil
4/30/14 mueckenh@rz.fh-augsburg.de
4/30/14 FredJeffries@gmail.com
5/1/14 mueckenh@rz.fh-augsburg.de
5/1/14 FredJeffries@gmail.com
5/1/14 FredJeffries@gmail.com
5/1/14 Virgil
4/30/14 Virgil
4/30/14 mueckenh@rz.fh-augsburg.de
4/30/14 Virgil
5/1/14 mueckenh@rz.fh-augsburg.de
5/1/14 Virgil
4/30/14 mueckenh@rz.fh-augsburg.de
4/30/14 Virgil
5/1/14 mueckenh@rz.fh-augsburg.de
5/1/14 Virgil
5/1/14 mueckenh@rz.fh-augsburg.de
5/1/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Virgil
4/30/14 Virgil
5/1/14 Dan Christensen
5/1/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Dan Christensen
5/2/14 Peter Percival
5/2/14 Dan Christensen
5/2/14 Virgil
5/2/14 Dan Christensen
5/2/14 Dan Christensen
5/2/14 Peter Percival
5/2/14 Roland Franzius
5/2/14 Dan Christensen
5/2/14 Peter Percival
5/2/14 Dan Christensen
5/2/14 Robin Chapman
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Dan Christensen
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Dan Christensen
5/2/14 Virgil
5/2/14 Dan Christensen
5/2/14 Virgil
5/2/14 Dan Christensen
5/2/14 Virgil
5/2/14 Dan Christensen
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Dan Christensen
5/3/14 Dan Christensen
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Dan Christensen
5/3/14 Virgil
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Dan Christensen
5/3/14 Virgil
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Virgil
5/6/14 ross.finlayson@gmail.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Dan Christensen
5/4/14 Virgil
5/3/14 Virgil
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Dan Christensen
5/4/14 Virgil
5/4/14 Virgil
5/4/14 Virgil
5/3/14 Virgil
5/3/14 Brian Q. Hutchings
5/3/14 Brian Q. Hutchings
5/3/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Dan Christensen
5/2/14 Virgil
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Virgil
5/2/14 Tucsondrew@me.com
5/2/14 Virgil
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Tucsondrew@me.com
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Tucsondrew@me.com
5/3/14 Virgil
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Tucsondrew@me.com
5/4/14 Virgil
5/4/14 Virgil
5/4/14 Virgil
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Virgil
5/4/14 Tucsondrew@me.com
5/4/14 Virgil
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Virgil
5/4/14 Tucsondrew@me.com
5/4/14 Virgil
5/5/14 Virgil
5/3/14 Virgil
5/3/14 Virgil
5/3/14 Virgil
5/2/14 Virgil
5/2/14 Virgil
5/2/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Virgil
5/2/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Virgil
5/2/14 mueckenh@rz.fh-augsburg.de
5/2/14 Virgil
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Virgil
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Tucsondrew@me.com
5/5/14 mueckenh@rz.fh-augsburg.de
5/5/14 Virgil
5/5/14 Tucsondrew@me.com
5/5/14 Virgil
5/4/14 Virgil
5/4/14 Virgil
5/3/14 Virgil
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Dan Christensen
5/4/14 Virgil
5/4/14 Tucsondrew@me.com
5/5/14 mueckenh@rz.fh-augsburg.de
5/5/14 Tucsondrew@me.com
5/5/14 mueckenh@rz.fh-augsburg.de
5/5/14 Virgil
5/5/14 Virgil
5/4/14 Virgil
5/4/14 Brian Q. Hutchings
5/3/14 mueckenh@rz.fh-augsburg.de
5/3/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Tucsondrew@me.com
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Virgil
5/4/14 Tucsondrew@me.com
5/5/14 Virgil
5/4/14 Virgil
5/4/14 Virgil
5/3/14 Virgil
5/4/14 mueckenh@rz.fh-augsburg.de
5/4/14 Dan Christensen
5/4/14 Virgil
5/7/14 thenewcalculus@gmail.com