Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/12/2025 12:19 PM, olcott wrote:

On 5/12/2025 10:06 AM, dbush wrote:

On 5/12/2025 11:04 AM, olcott wrote:

Termination analyzers compute the mapping from their
inputs to the behavior that these inputs actually specify.

>
False.  They compute the mapping from their input to the behavior of the algorithm described by the input when executed directly, as per the requirements:
>

 That is easily proven stupidly wrong.

Category error.  Definitions are not proven:
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
A solution to the halting problem is an algorithm H that computes the following mapping:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly