3 ms·
What if you want to decide if x<y when actually x==y? Then your comparator doesn't halt.
by WithinReason 2y ago
What if you want to decide if x<y when actually x==y? Then your comparator doesn't halt.
- nyrikki 2y agoYou need to move past decimal expansion, there are sufficient methods to prove one sided limits on the reals in finite time.