Re: Turing computable function for sum of two integers

On 30/04/2025 18:36, olcott wrote:
<snip>

int sum(int x, int y) { return 5; }
Is NOT a Turing Computable function for the sum of two integers.

It is, however, a computable (albeit trivial and poorly-named) function.

int sum(int x, int y) { x + y; }
Is a Turing Computable function for the sum of two integers.

Not quite. It's a computable function for the sum of two integers, both of which are in the range INT_MIN to INT_MAX, and whose sum is also within that range. sum(INT_MAX, INT_MAX) doesn't calculate what you claim, but merely invokes undefined behaviour.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within