Comment by yjk

In addition, I would argue undecidability is a feature, not a bug. I'm not sure why any other answer would be desired in that case.