Dedikend Cut's and such

[Kent Crispin]

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 at songbird.com,kc at 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