Re:Did Turing prove the undecidability of the halting problem?
by mafuy on Tuesday July 02, 2024 @03:55PM
(#40859913)
Probably! This paper is a year or two newer but used the exact same principle. It also has a much better constant than I recall. Perhaps I was reading a precursor article. I really enjoy this approach, it is a lovely idea.
[ Parent
| on HN ]
There are no comments on this comment yet.