> Edit: Oh, I get it now, you can't tell whether or not a given long-running program will eventually produce the target string without solving its halting probl

> Edit: Oh, I get it now, you can't tell whether or not a given long-running program will eventually produce the target string without solving its halting problem. Exactly right! I kinda think that these non-computable problems are all sort-of the same problem, just viewed from different angles.