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", 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