Re: Can any pathological input thwart a simulating abort decider?

On 3/23/2024 4:38 AM, Fred. Zwarts wrote:

Op 22.mrt.2024 om 19:41 schreef olcott:

01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }
>
H is a simulating abort decider that supposed to
correctly determine whether or not it needs to abort
the simulation of any pathological inputs that are
attempting to thwart this abort decision.
>
H must abort every simulated input that would not
otherwise halt to prevent its own non-termination.
>
It is a self-evident verified fact that every H(D,D)
that decides to abort its simulated D(D) is correct
in doing so because this does prevent its own
non-termination.
>

 It is self-evident that when H is programmed to abort and return false, then [the simulated] D will

immediately stop running never having reached its last instruction to halt. You and others keep trying to get away with the strawman deception
and refer to a D that does not even exist in this computation.

halt (unless aborted). So, no abort is needed and H is wrong to abort this D. Running D itself, or simulating it with a correct simulator proves it. It is a verified fact. If olcott requires that a decider should only decide about it own behaviour, then he closes his eyes for the correct simulation.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer