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 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 ]

There are no comments on this comment yet.