Re: [boost] Constructible numbers?

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.