Consider the following Turing Machine, $T_k(n)$, defined in terms of: $$ T_k(n) = 1 + T_n(n) $$
At a high level, this expression indiviates that we have a Turing machine (with instructions represented by $k$) that takes as input any arbitrary long number $n$. This Turing Machine will basically emulate another Turing machine $T_n$ that has input that is the same as its instructions encoding AND adds one to its result. If you let $n=k$, will this Turing machine ever halt? Please support your answer.
Now, in my opinion there isn't nearly enough information to know whether or not the Turing machine will or will not halt. Without knowing the function that $T_n$ is performing, adding a $1$ may or may not be arbitrary. For some value $n$, the Turing machine $T_n$ could never halt, meaning that $T_k$ wouldn't either.
Am I incorrect to come to this conclusion? Sure, there is tons of examples that it may halt but is there not equally as many answers supporting the contrary?
Thanks for your input.
Suppose that it does halt. Then $T_k(k) = 1 + T_k(k)$. I think you should be able to take it from there...