computation Definition Undecidable Function Property A function property is undecidable iff its code language is undecidable.