1997-01-20 - Re: [Math Noise] (fwd)

Header Data

From: Kent Crispin <kent@songbird.com>
To: ravage@EINSTEIN.ssz.com (Jim Choate)
Message Hash: 9f2458ff5e255ef4f45cde057b8e782633e8ebb0dbac1c33e24e5b7fc90150fd
Message ID: <199701201634.IAA11748@songbird.com>
Reply To: <199701200456.UAA00404@toad.com>
UTC Datetime: 1997-01-20 15:32:08 UTC
Raw Date: Mon, 20 Jan 1997 07:32:08 -0800 (PST)

Raw message

From: Kent Crispin <kent@songbird.com>
Date: Mon, 20 Jan 1997 07:32:08 -0800 (PST)
To: ravage@EINSTEIN.ssz.com (Jim Choate)
Subject: Re: [Math Noise] (fwd)
In-Reply-To: <199701200456.UAA00404@toad.com>
Message-ID: <199701201634.IAA11748@songbird.com>
MIME-Version: 1.0
Content-Type: text

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