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

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]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer