Totality problem is not computably enumerable

ID: totality-problem-is-not-computably-enumerable

If all indices of total computable functions could be enumerated as , then
would be total and computable. Some would index , giving . Thus the totality problem is not computably enumerable.

New to topics? Read the docs here!