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: Another AC anomaly?
Replies: 43   Last Post: Dec 21, 2009 8:08 AM

 Messages: [ Previous | Next ]
 Dik T. Winter Posts: 7,899 Registered: 12/6/04
Re: Another AC anomaly?
Posted: Dec 16, 2009 7:40 AM

In article <FbWdnevBWO8v0LXWnZ2dnUVZ_r-dnZ2d@giganews.com> "K_h" <KHolmes@SX729.com> writes:
> "Dik T. Winter" <Dik.Winter@cwi.nl> wrote in message
> news:Kup2uH.JC7@cwi.nl...

...
> > > Theorem:
> > > lim(n ->oo) n = N. Consider the naturals:
> > >
> > > S_0 = 0 = {}
> > > S_1 = 1 = {0}

> > ...
> > This presupposes a particular construction for the natural
> > number. There are
> > other constructions that are consistent with ZF. Is the
> > limit valid for all
> > those possible models?

>
> Why do you ask? There are many ways a limit can be defined
> in ZF but the definition should embody the general idea of
> what a limit is.

But the definition ought to be such that the limit of a sequence does not
depend on the exact construction of the sequence. That is that
lim(n -> oo) {n}
should be independent on the way the natural numbers are constructed.
--
dik t. winter, cwi, science park 123, 1098 xg amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/

Date Subject Author
12/12/09 Jesse F. Hughes
12/13/09 K_h
12/14/09 Dik T. Winter
12/14/09 K_h
12/15/09 Dik T. Winter
12/15/09 K_h
12/16/09 Dik T. Winter
12/16/09 K_h
12/17/09 Dik T. Winter
12/18/09 K_h
12/18/09 Dik T. Winter
12/18/09 K_h
12/21/09 Dik T. Winter
12/14/09 Dik T. Winter
12/14/09 K_h
12/15/09 Dik T. Winter
12/15/09 Dik T. Winter
12/15/09 K_h
12/16/09 Dik T. Winter
12/17/09 K_h
12/17/09 Dik T. Winter
12/18/09 K_h
12/18/09 K_h
12/18/09 Dik T. Winter
12/18/09 K_h
12/18/09 Dik T. Winter
12/18/09 K_h
12/15/09 K_h
12/16/09 Jesse F. Hughes
12/17/09 Dik T. Winter
12/17/09 Jesse F. Hughes
12/16/09 Dik T. Winter
12/15/09 ross.finlayson@gmail.com
12/13/09 K_h
12/13/09 Jesse F. Hughes
12/13/09 Jesse F. Hughes
12/14/09 Ilmari Karonen
12/14/09 Jesse F. Hughes
12/15/09 Chas Brown