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 ogogmad on Sunday August 04, 2024 @10:49AM (#41153900)
> It is already known that a computer with access to real numbers with infinite precision can perform hypercomputation

I took an interest in this area once, and this is not true. "Computable analysis / computable topology" says quite the opposite.

[ Parent | on HN ]
Re:Non-computability of solutions of certain equations on di... by roywiggins on Sunday August 04, 2024 @04:08PM (#41155989)
Isn't this describing such a machine?

https://en.m.wikipedia.org/wiki/Blum%E2%80%93Shub%E2%80%93Sm...

[ Parent | on HN ]
Re:Non-computability of solutions of certain equations on di... by ogogmad on Monday August 05, 2024 @07:06AM (#41160028)
No. There's literally an article on Computable Analysis, and it details Type Two Turing Machines.
[ Parent | on HN ]