This question already has an answer here:

U(n,x) is Gödel universal function, and we need to show {n:U(n,x) is defined for all x} is not enumerable. I do not have any clue right now. Anyone can give me some hint about this question.


marked as duplicate by Ran G., Luke Mathieson, Kaveh, Juho, Gilles Jun 7 '15 at 16:50

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.