// COMPLETE THREAD

Re: Dedikend Cut's and such (fwd)

1 expanded post · every known parent and child

NODE fd2f04f1Re: Dedikend Cut's and such (fwd) Jim Choate <ravage@EINSTEIN.ssz.com>Mon, 20 Jan 1997 07:11:18 -0800 (PST)

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
                                                        ravage@ssz.com