Talk:Combination of Recursive Functions

In fact, the relation does not need to be computable for this theorem (a variant of it, at least) to hold. Specifically, if $f$ and $g$ take the same value when both are defined, all that matters is that at least one is defined for every input.

The intuitive reason behind this is that we can simulate machines computing each simultaneously; when one of them terminates, we have our result. And, by assumption, at least one will always halt.

This proof could be done, in principle, with just URMs and recursive functions, but it would be very inconvenient. It would be easiest to do this will actual Turing machines. Just run them simultaneously on a $2$-tape Turing machine. --CircuitCraft (talk) 00:22, 24 March 2023 (UTC)


 * All very well to do this proof using a Turing machine, but in order for the existing exposition to make sense in its completeness, I suggest it requires that we use the terminology as it is currently couched. --prime mover (talk) 06:09, 24 March 2023 (UTC)