[dspillett]

It that not simply an instance of the halting problem[†] for which Turing provided a proof that no general solution is possible?

[†] https://en.wikipedia.org/wiki/Halting_problem