computation Definition Undecidable Decision Problem A decision problem is called undecidable if it is not decidable.