1997-01-20 - Re: Dedikend Cut’s and such (fwd)

Header Data

From: Jim Choate <ravage@EINSTEIN.ssz.com>
To: cypherpunks@toad.com
Message Hash: 644f9569908c1e8d0eccf3f782091367781bff64a6e48551b8973f930fcf76aa
Message ID: <199701201626.IAA12828@toad.com>
Reply To: N/A
UTC Datetime: 1997-01-20 16:26:15 UTC
Raw Date: Mon, 20 Jan 1997 08:26:15 -0800 (PST)

Raw message

From: Jim Choate <ravage@EINSTEIN.ssz.com>
Date: Mon, 20 Jan 1997 08:26:15 -0800 (PST)
To: cypherpunks@toad.com
Subject: Re: Dedikend Cut's and such (fwd)
Message-ID: <199701201626.IAA12828@toad.com>
MIME-Version: 1.0
Content-Type: text/plain



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







Thread