Re: [boost] Constructible numbers?

From: Kim Barrett (kab_at_[hidden])
Date: 2005-09-16 20:44:23

At 9:10 AM +0200 9/14/05, Guillaume Melquiond wrote:
>Anyway, my point was: "by definition", computable numbers are the ones a
>computer can handle in arbitrary precision (emphasis on arbitrary), and
>they cover a wider range than just rational numbers.

While looking for something else, I happened across Hans Boehm's
computable reals calculator (in Java) here:
http://www.hpl.hp.com/personal/Hans_Boehm/crcalc/CRCalc.html
In the description on his home page, he mentions several papers
having come out of his work in this area, at least some of which
can also be found from his site.