News for hackers. Stuff that matters.

A comment on Non-computability of solutions of certain equations on digital computers (2022). Parent comment

Re:Non-computability of solutions of certain equations on di... by WithinReason on Sunday August 04, 2024 @03:17AM (#41151685)
What if you want to decide if x<y when actually x==y? Then your comparator doesn't halt.
[ Parent | on HN ]
Re:Non-computability of solutions of certain equations on di... by nyrikki on Sunday August 04, 2024 @01:33PM (#41155080)
You need to move past decimal expansion, there are sufficient methods to prove one sided limits on the reals in finite time.
[ Parent | on HN ]