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: Matheology § 288
Replies: 160   Last Post: Jun 21, 2013 8:42 AM

 Messages: [ Previous | Next ]
 Tucsondrew@me.com Posts: 1,161 Registered: 5/24/13
Re: Matheology § 288
Posted: Jun 14, 2013 7:14 PM

On Friday, June 14, 2013 3:44:47 PM UTC-7, Virgil wrote:
>
> Zeit Geist <tucsondrew@me.com> wrote:
>
>
>

> > On Friday, June 14, 2013 3:04:22 PM UTC-7, Virgil wrote:
>
> > > In article <5a693a23-8c97-4ff4-81a9-b609dcfc5cae@googlegroups.com>,
>
> > >
>
> > > Zeit Geist <tucsondrew@me.com> wrote:
>
> > >
>
> > > > Definition: A set, X, is infinite iff there exists a function, F and a
>
> > >
>
> > > > subset Y of X, such that F: X --> Y and F is onto.
>
> > >
>
> > >
>
> > >
>
> > > X need only be infinite if the set Y is a PROPER subset of X.
>
> > >
>
> >
>
> > Y c X is meant to read "Y is a proper subset of X"
>
> > Just like a < b reads as simply "less than" when a and b are real numbers.
>
>
>
> Then you should explain that Y c= X means ordinary subset.
>

> >
>
> > >
>
> > > > Theorem: In ZFC, if X is an infinite set, then for all n e N, there
>
> > >
>
> > > > exists a Y c X such that there is function that map X onto Y.
>
> > >
>
> > >
>
> > >
>
> > > In ZFC, if X is an Finite set, then for all n e N, there
>
> > >
>
> > > exists a Y c X such that there is function that map X onto Y.
>
> > >
>
> > > Namely whenever Y = X
>
> > >
>
> >
>
> > Clarified above.
>
>
>
> Not so. If by Y c X you mean PROPER subset then your statement above
>
> using 'Y c X' is false!
>

Shit!!! Bad typing day. That was supposed to convey that an INFINITE
set can be mapped onto any finite set.

Damn, damn, damn.

>
> > >
>
> > > > Theorem: In ZFC, if X is an infinite set, then for all n e N, the
>
> > >
>
> > > > cardinality of X is greater than n.
>
> > >
>
> > >
>
> > >
>
> > > That one is both correct and meamingful.
>
> > >
>
> >
>
> > All are correct with clarification.
>
> > When the improper subset of Y = X is permitted,
>
> > I, and most I believe, write Y c= X.
>
>
>
> You missed one! But is is easy enough to do.
>

> >
>
> > I try to be more clear in the future.
>
> > When writing this i thought somebody might say this.
>
> > All good.
>
> >
>
> > >
>
> > > > This is ZFC. If you want to create a consistent theory that is
>
> > >
>
> > > > In opposition to ZFC, feel free. This, however, will NOT effect the
>
> > >
>
> > > > validity of ZFC.
>
> > >
>
> > >
>
> > >
>
> > > If you want to create a consistent theory other
>
> > >
>
> > > than ZFC, try ZF.
>
> > >
>
> > >
>
> > >
>
> > > Standard mathematics is almost all compatible with ZF, with or without C.
>
> > >
>
> > > A very large part of standard mathematics is incompatible with WM's
>
> > >
>
> > > WMytheology.
>
> > >
>
> >
>
> > I never said he was coming anywhere close to creating an alternative
>
> > consistent theory of any sort.
>
>
>
> Understood!
>

I greatly apologize for the mistakes.
I shouldn't be doing this while doing "real" work.

>
> > >--
>
> >
>
> > ZG
>
> --

ZG

Date Subject Author
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 LudovicoVan
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 LudovicoVan
6/14/13 Tucsondrew@me.com
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Tucsondrew@me.com
6/14/13 Virgil
6/14/13 Tucsondrew@me.com
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Tucsondrew@me.com
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/15/13 Virgil
6/16/13 apoorv
6/16/13 Virgil
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 Virgil
6/16/13 apoorv
6/16/13 Virgil
6/16/13 apoorv
6/17/13 Virgil
6/17/13 apoorv
6/17/13 Virgil
6/17/13 Tanu R.
6/17/13 Virgil
6/17/13 fom
6/16/13 FredJeffries@gmail.com
6/16/13 apoorv
6/16/13 apoorv
6/17/13 FredJeffries@gmail.com
6/17/13 Virgil
6/17/13 FredJeffries@gmail.com
6/18/13 LudovicoVan
6/18/13 mueckenh@rz.fh-augsburg.de
6/18/13 Virgil
6/18/13 LudovicoVan
6/18/13 Tucsondrew@me.com
6/18/13 LudovicoVan
6/18/13 Tucsondrew@me.com
6/18/13 mueckenh@rz.fh-augsburg.de
6/18/13 Tucsondrew@me.com
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Tucsondrew@me.com
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Tucsondrew@me.com
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 Virgil
6/20/13 Virgil
6/20/13 Virgil
6/20/13 Virgil
6/20/13 Virgil
6/19/13 Virgil
6/19/13 Virgil
6/18/13 Virgil
6/18/13 fom
6/18/13 fom
6/18/13 LudovicoVan
6/18/13 fom
6/19/13 LudovicoVan
6/19/13 mueckenh@rz.fh-augsburg.de
6/19/13 Virgil
6/19/13 LudovicoVan
6/19/13 fom
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 mueckenh@rz.fh-augsburg.de
6/20/13 LudovicoVan
6/20/13 Virgil
6/20/13 Virgil
6/20/13 FredJeffries@gmail.com
6/20/13 LudovicoVan
6/21/13 LudovicoVan
6/21/13 LudovicoVan
6/20/13 FredJeffries@gmail.com
6/20/13 Virgil
6/20/13 Virgil
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/14/13 Virgil
6/14/13 Virgil
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Virgil
6/14/13 Tucsondrew@me.com
6/14/13 Virgil
6/14/13 Tucsondrew@me.com
6/14/13 Virgil
6/14/13 Tucsondrew@me.com
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Tucsondrew@me.com
6/15/13 Virgil
6/15/13 Tanu R.
6/14/13 Tucsondrew@me.com
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 LudovicoVan
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 LudovicoVan
6/14/13 Tucsondrew@me.com
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Virgil
6/14/13 Tucsondrew@me.com
6/14/13 Virgil
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/15/13 Tanu R.
6/14/13 Virgil
6/14/13 Virgil
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Bergholt Stuttley Johnson
6/14/13 Virgil
6/14/13 Tucsondrew@me.com
6/14/13 Virgil
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/15/13 Tanu R.
6/15/13 Bergholt Stuttley Johnson
6/14/13 Virgil
6/14/13 mueckenh@rz.fh-augsburg.de
6/14/13 Virgil
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/15/13 mueckenh@rz.fh-augsburg.de
6/15/13 Virgil
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 Virgil
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 fom
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 fom
6/16/13 Virgil
6/17/13 mueckenh@rz.fh-augsburg.de
6/17/13 Virgil
6/17/13 fom
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 fom
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 Virgil
6/16/13 fom
6/16/13 Virgil
6/16/13 fom
6/16/13 Virgil
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 Virgil
6/17/13 mueckenh@rz.fh-augsburg.de
6/17/13 Virgil
6/16/13 Virgil
6/16/13 mueckenh@rz.fh-augsburg.de
6/16/13 Virgil
6/15/13 Tanu R.