I find it very interesting as well. One would think that there might be many problems with similar properties, but people have already discovered the one that surfaces in Turing machines as well. Does this suggest that there are not that many problems with this type of property? Or does it suggest that we stumbled upon the simplest case.