Re: Proving the: Simulating termination analyzer Principle

On 4/5/2025 7:52 PM, Richard Heathfield wrote:

On 06/04/2025 01:30, olcott wrote:
 <snip>
 

Everyone else seems to think that the correct way
to handle a pathological relationship between an
input and a termination analyzer is to simply ignore
the differences that this makes. THAT CAN'T BE RIGHT !!!

 Everyone else (i.e. not you) knows that you are attempting to square the circle, trisect the angle, and find the exact value of pi. You're ignoring Post, Gödel, Church, Turing, Kleene, Hoare, and a zillion other computer scientists, and you're trying to write a program that can't be written. The fact that you've written a program is neither here nor there if it doesn't do what's required... which it doesn't.
 

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.
HHH(DD) is correct according to the above principle.
The last step is validating that this principle is correct.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer