Re: Every D(D) simulated by H presents non-halting behavior to H ###

Op 30.mei.2024 om 17:05 schreef olcott:

On 5/30/2024 9:57 AM, Fred. Zwarts wrote:

Op 30.mei.2024 om 15:16 schreef olcott:

 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       }
 

Not at all. When we see that the infinite set of every possible D
simulated by any H cannot possibly reach its own simulated final state
and halt this remains true for D correctly simulated by simulating halt
decider H. H halts and correctly simulated D never halts.
>

>
It is clear for anyone with a little bit of C knowledge, that if H halts, then D continues with line 04.

 *I conclusively prove that is false in my post from 14 minutes ago*
[D correctly simulated by H cannot possibly halt
  --- templates and infinite sets --- deciders]
 

And I showed that the same reasoning proves that H 'correctly simulated' by H cannot possibly halt. You were unable to explain why H and D should have different halt criteria.