olcott

2024-05-22 13:57:56 UTC

Because D correctly simulated by pure function H remains stuck in

recursive simulation simulating termination analyzer H is correct

to report that D does not halt.

typedef int (*ptr)(); // ptr is pointer to int function in C

00 int H(ptr p, ptr i);

01 int D(ptr p)

02 {

03 int Halt_Status = H(p, p);

04 if (Halt_Status)

05 HERE: goto HERE;

06 return Halt_Status;

07 }

08

09 int main()

10 {

11 H(D,D);

12 return 0;

13 }

It is trivial to see that for every H/D pair of the infinite

set of H/D pairs that match the above template that

D correctly simulated by H cannot possibly reach its own final

state at line 06 and halt because D correctly simulated by

H remains stuck in recursive simulation.

This provides the basis for simulating termination analyzer H to

correctly determine that the halting problem's counter-example

input D cannot possibly halt.

recursive simulation simulating termination analyzer H is correct

to report that D does not halt.

typedef int (*ptr)(); // ptr is pointer to int function in C

00 int H(ptr p, ptr i);

01 int D(ptr p)

02 {

03 int Halt_Status = H(p, p);

04 if (Halt_Status)

05 HERE: goto HERE;

06 return Halt_Status;

07 }

08

09 int main()

10 {

11 H(D,D);

12 return 0;

13 }

It is trivial to see that for every H/D pair of the infinite

set of H/D pairs that match the above template that

D correctly simulated by H cannot possibly reach its own final

state at line 06 and halt because D correctly simulated by

H remains stuck in recursive simulation.

This provides the basis for simulating termination analyzer H to

correctly determine that the halting problem's counter-example

input D cannot possibly halt.

--

Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius

hits a target no one else can see." Arthur Schopenhauer

Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius

hits a target no one else can see." Arthur Schopenhauer