[kevinventullo]

They're essentially asking if decidability has practical[1] uses to which the answer is generally "No".

I don’t think I agree! For example, I strongly suspect that Malware detection researchers would be following many fruitless paths in the vein of “Let’s just figure out what the program is doing” if not guided by the fact that this is strictly harder than “Let’s just figure out if the program halts.”