Math errors in python
tim.peters at gmail.com
Mon Sep 20 06:51:46 CEST 2004
> I don't know that it's generally tractable to do exact computation on
> constructive reals. How do you implement comparison (<, >, ==)?
Equality of constructive reals is undecidable. In practice, CR
packages allow specifying a "number of digits of evidence " parameter
N, so that equality is taken to mean "provably don't differ by more
than a unit in the N'th digit".
More information about the Python-list