Re: Disagreeing with tautologies is always incorrect

On 5/29/2025 11:37 AM, olcott wrote:

HHH is a simulating termination analyzer

False, as it doesn't compute this mapping:
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