4 ms·
Equality of computable reals is undecidable. https://mathoverflow.net/questions/40618/uncomputability-of-the-identity-relation-on-computable-real-numbers https
by alentist 6y ago
Equality of computable reals is undecidable.
https://mathoverflow.net/questions/40618/uncomputability-of-the-identity-relation-on-computable-real-numbers https://mathoverflow.net/questions/40618/uncomputability-of-...
- ogogmad 6y agoSo what? Equality of floating point numbers is only "decidable" if you don't care about getting the right answer. Likewise, equality of functions is also undecidable, but you never see people bringing that up in the context of Higher Order Functions.