[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Dedikend Cut's and such



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",
[email protected],[email protected]		the thief he kindly spoke...
PGP fingerprint:   5A 16 DA 04 31 33 40 1E  87 DA 29 02 97 A3 46 2F