Is this not the same as the halting problem (genuinely asking)?