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
Thread
Return to January 1997
- Return to “Jim Choate <ravage@EINSTEIN.ssz.com>”
- Return to “Kent Crispin <kent@songbird.com>”
- Return to “mpd@netcom.com (Mike Duvos)”
Return to “Paul Foley <mycroft@actrix.gen.nz>”
- 1997-01-20 (Sun, 19 Jan 1997 20:56:01 -0800 (PST)) - [Math Noise] (fwd) - Jim Choate <ravage@EINSTEIN.ssz.com>
- 1997-01-20 (Sun, 19 Jan 1997 23:35:25 -0800 (PST)) - Re: [Math Noise] (fwd) - mpd@netcom.com (Mike Duvos)
- 1997-01-20 (Mon, 20 Jan 1997 02:14:17 -0800 (PST)) - Re: [Math Noise] (fwd) - Paul Foley <mycroft@actrix.gen.nz>
- 1997-01-20 (Mon, 20 Jan 1997 07:32:08 -0800 (PST)) - Re: [Math Noise] (fwd) - Kent Crispin <kent@songbird.com>