Comment by foldr

That definition is fine (given that we know that no Turing machine computes the halting problem). It's equivalent to f(n) = 0.