Dedikend Cut's and such (fwd)

Jim Choate ravage at EINSTEIN.ssz.com
Mon Jan 20 07:11:18 PST 1997



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 at ssz.com







More information about the cypherpunks-legacy mailing list