[Top][All Lists]

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

[Axiom-developer] [#167 Infinite Floats Domain] That's cool but ...

From: Bill Page
Subject: [Axiom-developer] [#167 Infinite Floats Domain] That's cool but ...
Date: Mon, 13 Jun 2005 11:08:21 -0500

How is this different than what Axiom already does?
I can write:
a::Expression Float
a::Expression Float

So %pi already has this kind of "closure" built-in.
Is it really possible to do this more generally for
all possible computations with real numbers?

How are "computable reals" different than actual
real numbers?

wyscc wrote:

> Any floating point system is only, mathematically speaking,
> a small subset, and not evenly distributed one for that,
> of the reals, and for that matter, of the rationals. It is
> definitely not FRAC INT, which is mathematically equivalent
> to the field of rational numbers.

But surely there is an isomorphism between the domain of
**infinite precision** floating point numbers and the domain
of rationals, no?

Maybe these **computable reals** are something else? Isn't
it related to the RealClosure as already implemented in
forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]