[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Dedikend Cut's and such (fwd)




Forwarded message:

> > Did a little research, Dedekind Cut's and such use Integers to define a
> > SPECIFIC Real to a arbitrary BUT FIXED resolution. They do not define the
> > set of Reals.
> 
> They do.  The set of all numbers representable by a DC is precisely 
> the set of reals.

Then you are saying that using Dedekind Cut's it is possible to define the
ENTIRE set of Reals? I am assuming that entire includes all those Reals
which aren't representable by any algorithm and of which we can't even speak
(even though we are).

Another pretty nifty trick.


                                                        Jim Choate
                                                        CyberTects
                                                        [email protected]