Halting problem
= Halting problem
{wiki}
The halting set is computably enumerable but undecidable, and its complement is not computably enumerable.
= Halting problem
{wiki}
The halting set is computably enumerable but undecidable, and its complement is not computably enumerable.