From: Kent Crispin <kent@songbird.com>
Date: Mon, 20 Jan 1997 08:26:21 -0800 (PST)
To: Jim Choate <ravage@EINSTEIN.ssz.com>
Subject: Re: [Math Noise] (fwd)
Message-ID: <199701201626.IAA12830@toad.com>
MIME-Version: 1.0
Content-Type: text/plain


Jim Choate allegedly said:
> 
[...]
> The number of cuts are 1-to-1 with the Reals, they are not the Reals.
> There is no way I can make a cut which is 3.1527, only 1-to-1 with the
> number(s). Important distinction.

They are 1-1 with the Reals, you can define all the operations on 
them that are defined for reals, for every representable real (like 
3.1527) there exists a DC.  You have some idea, perhaps that there 
are "real" reals, as opposed to the various constructs for defining 
them?  Perhaps you could define what a "real" real would be?

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