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

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.