Totality problem is not computably enumerable
ID: totality-problem-is-not-computably-enumerable
If all indices of total computable functions could be enumerated as , thenwould be total and computable. Some would index , giving . Thus the totality problem is not computably enumerable.
New to topics? Read the docs here!