The function is not partial computable. It is defined on every input, so if a register machine with code computed it, then and in particular would be defined. The first clause in the definition would givewhich is impossible. This is the usual diagonal argument behind the noncomputability of the diagonal halting set.
Articles by others on the same topic
There are currently no matching articles.