// COMPLETE THREAD

Dedikend Cut's and such

2 expanded posts · every known parent and child

NODE b09bec02Dedikend Cut's and such Jim Choate <ravage@EINSTEIN.ssz.com>Sun, 19 Jan 1997 16:01:35 -0800 (PST)

Hi,

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.


                                                  Jim Choate
                                                  CyberTects
                                                  ravage@ssz.com

NODE 8ba21982Re: Dedikend Cut's and such Kent Crispin <kent@songbird.com>Sun, 19 Jan 1997 21:48:18 -0800 (PST)

Jim Choate allegedly said:
> 
> 
> Hi,
> 
> 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.

-- 
Kent Crispin				"No reason to get excited",
kent@songbird.com,kc@llnl.gov		the thief he kindly spoke...
PGP fingerprint:   5A 16 DA 04 31 33 40 1E  87 DA 29 02 97 A3 46 2F