2 ms·
Equality over computable reals is not decidable, so I don't think you've actually defined a computable function here. The issue is much more subtle than that.
by bubblyworld 2y ago
Equality over computable reals is not decidable, so I don't think you've actually defined a computable function here. The issue is much more subtle than that.