[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: Chongkai Zhu <mathematica@xxxxxxxxx>*Subject*: Re: infinities reformulated*From*: Alex Shinn <alexshinn@xxxxxxxxx>*Date*: Tue, 31 May 2005 10:59:56 +0900*Cc*: srfi-70 <srfi-70@xxxxxxxxxxxxxxxxx>*Delivered-to*: srfi-70@xxxxxxxxxxxxxxxxx*Domainkey-signature*: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=RlszcJMeoW+RzpaPAfhL57n5PyaHB5+8wgeJlAU9ecQn/MZ190TlFOLRIUgGDqm+/v/bUL/Iv3Bs/p9xNl4SKDz5SXa+0Gr4t4K0geKxBeusOyKekaganT+cNwI6xSQFfSlFvz704ZUVy4ZZ/dZMRHDyzTVVGeO/T/XLO1uz2dk=*In-reply-to*: <20050531013438.308C813AD@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>*References*: <20050531013438.308C813AD@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>*Reply-to*: Alex Shinn <alexshinn@xxxxxxxxx>

On 5/31/05, Chongkai Zhu <mathematica@xxxxxxxxx> wrote: > > MACLISP is the closest answer. It has exactly what you said and > called it bigfloats. I searched and find that Perl also implements > bigfloat as a library. > > And your statement "the precision of an inexact (or exact) number > representation cannot be unlimited" is wrong. For example, Mathematica > implements "unlimited precision number", although it may have some > flaws. It cannot be "unlimited" in the sense that it is at least memory limited. No matter how much memory you have, you can never exactly represent the square root of 2 with a floating point representation - that is the definition of irrational, you don't even need to go to transcendental numbers for this. In fact, irrational literally means "no ratio," and was only later applied by analogy to imply a lack of reasoning. But your original statement was "arbitrarily big," not "unlimited," and this should be allowed. Infinity in this case could be defined as the range of all real numbers greater than the largest possible BigFloat using all of memory for the exponent. -- Alex

**Follow-Ups**:**Re: infinities reformulated***From:*Per Bothner

**Re: infinities reformulated***From:*Aubrey Jaffer

**References**:**Re: infinities reformulated***From:*Chongkai Zhu

- Prev by Date:
**Re: infinities reformulated** - Next by Date:
**Re: infinities reformulated** - Previous by thread:
**Re: infinities reformulated** - Next by thread:
**Re: infinities reformulated** - Index(es):