Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem

On 5/11/2025 1:14 PM, olcott wrote:

On 5/11/2025 11:54 AM, dbush wrote:

On 5/11/2025 12:49 PM, olcott wrote:

The category error is actually the fact that everyone
here expects a termination analyzer to report on behavior
other than the behavior that its input finite string
actually specifies.

>
That's because it's whether or not the algorithm described by the input halts when executed directly.
>
No one cares what "the behavior that its input finite string specifies" because that's not what we asked about.

>
int sum(int x, int y) { return x + y ; }
when you ask about the sum of 5 + 7 using sum(3,2)
you are asking the wrong question.
>
HHH reports on the behavior that DDD specifies.
sum reports on the sum that its inputs specify.
>

 Category error.  (2,3) is not (5,7), but (DDD) is (DDD).