No; the utility function is stipulated to be computable.
What Manfred is calling U(n) here corresponds to what the paper would call U(phi_n(k)).
The utility function is defined as being computable over all possible input.
phi_n(k) may not halt.
What Manfred is calling U(n) here corresponds to what the paper would call U(phi_n(k)).
The utility function is defined as being computable over all possible input.
phi_n(k) may not halt.