[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.

[contravariant]

It's not the undecidability that is a problem, it's the discontinuity. Undecidable answers are manageable, random answers however are very annoying to deal with.