List of undecidable problems

• abstract: In computability theory, an undecidable problem is of a type of calculation which requires a yes/no answer, but where there can not possibly be any computer program that always gives the correct answer; that is any possible program would sometimes give the wrong answer or never give any answer at all. More formally, an undecidable problem is a problem whose language is not a recursive set; see decidability.

以上来源于: WordNet