2 ms·
Interesting caveat to the computable reals. Equality is hard. I need to look into this but I'm pretty sure it's undecidable. Edit: looking into it was just rea
by rocqua 7y ago
Interesting caveat to the computable reals. Equality is hard. I need to look into this but I'm pretty sure it's undecidable.
Edit: looking into it was just reading futher on wikipedia. Even ordering is undecidable.
- empath75 7y agoUndecidable in principle but I wonder how much it comes up in practice.
- reikonomusha 7y agoIn practice, you get guarantees “up to precision”. This is totally reasonable. If you’re doubtful, you can either prove theorems, or bump up the precision. In general this works well.
- rocqua 7y agoGood point. It's not worse than floating point numbers.