>It's theoretically impossible to compute with the general reals. Full stop. While that is true. It is possible to make mathematical true statememts about resu

>It's theoretically impossible to compute with the general reals. Full stop. While that is true. It is possible to make mathematical true statememts about results of real number arithmetic on a computer. >you lose associative arithmetic. People like to complain about this, but it is a mathematical consequence of the reuirements. You can not fix that problem.