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