Probably! This paper is a year or two newer but used the exact same principle. I...

mafuy 70 days ago | parent | context | favorite | on: Did Turing prove the undecidability of the halting...

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.