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:
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk