News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.