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