1997-01-20 - Re: Dedikend Cut’s and such
Header Data
From: Kent Crispin <kent@songbird.com>
To: ravage@EINSTEIN.ssz.com (Jim Choate)
Message Hash: 8ba219827f800fa5f8508ac97762226f14e421cbd5f836ac4b571fe9ad6ae18f
Message ID: <199701200650.WAA07301@songbird.com>
Reply To: <199701200008.SAA00943@einstein>
UTC Datetime: 1997-01-20 05:48:18 UTC
Raw Date: Sun, 19 Jan 1997 21:48:18 -0800 (PST)
Raw message
From: Kent Crispin <kent@songbird.com>
Date: Sun, 19 Jan 1997 21:48:18 -0800 (PST)
To: ravage@EINSTEIN.ssz.com (Jim Choate)
Subject: Re: Dedikend Cut's and such
In-Reply-To: <199701200008.SAA00943@einstein>
Message-ID: <199701200650.WAA07301@songbird.com>
MIME-Version: 1.0
Content-Type: text
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
Thread
Return to January 1997
- Return to “Jim Choate <ravage@EINSTEIN.ssz.com>”
Return to “Kent Crispin <kent@songbird.com>”
- 1997-01-20 (Sun, 19 Jan 1997 16:01:35 -0800 (PST)) - Dedikend Cut’s and such - Jim Choate <ravage@EINSTEIN.ssz.com>
- 1997-01-20 (Sun, 19 Jan 1997 21:48:18 -0800 (PST)) - Re: Dedikend Cut’s and such - Kent Crispin <kent@songbird.com>