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

Header Data

From: Jim Choate <ravage@EINSTEIN.ssz.com>
To: cypherpunks@toad.com
Message Hash: d92f4399696c6f50743a310600aa3b3cff5c06777a2f1c72a0dcffc1b76b6492
Message ID: <199701201625.IAA12764@toad.com>
Reply To: N/A
UTC Datetime: 1997-01-20 16:25:53 UTC
Raw Date: Mon, 20 Jan 1997 08:25:53 -0800 (PST)

Raw message

From: Jim Choate <ravage@EINSTEIN.ssz.com>
Date: Mon, 20 Jan 1997 08:25:53 -0800 (PST)
To: cypherpunks@toad.com
Subject: Re: [Math Noise] (fwd)
Message-ID: <199701201625.IAA12764@toad.com>
MIME-Version: 1.0
Content-Type: text/plain



> > And I contend that ANY number which is Real can be expressed by the decimal
> > expansion above. Which clearly qualifies as a formal system.
> 
> To be a formal system of the type required, you would also have to 
> specify deterministic rules that could generate the "Ai" values.  The 
> key distinction is between "expressed by" and "generated by".

But we do have a formal system for generating those terms. Dedekind Cuts
used to enumerate the value of an arbitrary length compared to the unit
length.







Thread