Re: Halting Problem is wrong two different ways

On 5/06/24 15:18, olcott wrote:

On 6/5/2024 2:13 AM, Mikko wrote:

On 2024-06-04 17:40:47 +0000, olcott said:
>
Nice to see that you don't disagree with my observation that
your statement
>

Deciders only compute the mapping *from their inputs* to their own
accept or reject state.

>
does not restrict what a problem statement can specify.
>

 Sure it does.
int sum(int x, int y) { return x + y; }
sum(3,4) cannot correctly return the sum of 5 + 6.

According to you, the correct simulation simulate(sum,3,4) can correctly return the sum of 5+6.