Liste des Groupes | Revenir à s logic |
On 3/22/24 2:41 PM, olcott wrote:On 3/20/2024 6:02 PM, Richard Damon wrote:01 int D(ptr x) // ptr is pointer to int functionExcept that it FAILS to meet your agreed upon definition of correctly deciding to abort, and uses the INVALID logic of comparing itself to a DIFFERENT machine.
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.
>
Les messages affichés proviennent d'usenet.