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 ]
 ross.finlayson@gmail.com Posts: 2,720 Registered: 2/15/09
Re: Another AC anomaly?
Posted: Dec 15, 2009 5:54 PM

On Dec 15, 5:01 am, "Dik T. Winter" <Dik.Win...@cwi.nl> wrote:
> In article <r_6dnUXDv4pMfbvWnZ2dnUVZ_tWdn...@giganews.com> "K_h" <KHol...@SX729.com> writes:
>
>  > "Dik T. Winter" <Dik.Win...@cwi.nl> wrote in message
>  >news:KunF0v.9y9@cwi.nl...
> ...
>  > >  By what definition is:
>  > >   lim(n -> oo) n = N?
>  >
>  > Any of the wikipedia definitions.  Here is the proof again.
> ...
>  > 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?
> --
> dik t. winter, cwi, science park 123, 1098 xg amsterdam, nederland, +31205924131
> home: bovenover 215, 1025 jn  amsterdam, nederland;http://www.cwi.nl/~dik/

Half.

That leads to then interesting expansions of the Factorial/Exponential

Also it's half the other way as well, in the deterministic and well-
founded.

Regards,

Ross F.

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