The key is that there can be programs for which nobody can tell which one they are without actually trying them until they halt or the universe ends.
The halting problem doesn’t actually imply this.
The halting problem doesn’t actually imply this.