Re: Proving the: Simulating termination analyzer Principle

On 4/5/2025 8:37 PM, Richard Heathfield wrote:

On 06/04/2025 02:22, olcott wrote:
 <snip>
 

The last step is validating that this principle is correct.

 Whether or not your "principle" is correct is neither here nor there. It's relevant only to the Olcott Problem, which clearly isn't the Halting Problem.
 

HHH is a correct simulating termination analyzer that
correctly determines the halt status of the HP
impossible input:
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer