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