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

On 5/28/24 11:13 AM, olcott wrote:

On 5/28/2024 4:21 AM, Fred. Zwarts wrote:

Op 27.mei.2024 om 17:43 schreef olcott:

On 5/27/2024 9:58 AM, Richard Damon wrote:

On 5/27/24 10:39 AM, olcott wrote:

>
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       }
>
The above template refers to an infinite set of H/D pairs where D is
correctly simulated by either pure simulator H or pure function H. This
was done because many reviewers used the shell game ploy to endlessly
switch which H/D pair was being referred to.
>
Correct Simulation Defined
    This is provided because many reviewers had a different notion of
    correct simulation that diverges from this notion.
>
    A simulator is an x86 emulator that correctly emulates 1 to N of the
    x86 instructions of D in the order specified by the x86 instructions
    of D. This may include M recursive emulations of H emulating itself
    emulating D.
>
When we see that D correctly simulated by pure simulator H would remain
stuck in infinite recursive simulation then we also know that less than
an infinite number of steps is not enough steps for D correctly
simulated by pure function H to reach its own simulated final state at
line 06 and halt.
>

>
We can equally well replace D with H.

 Only if we want to use the DISHONEST DODGE STRAW-MAN DECEPTION
CHANGE-THE-SUBJECT FAKE REBUTTAL.
 My use of the point-by-pint basis of the Socratic method tosses
such attempts out as Trolling.
 

Mope, you don't understand how the Socratic method works in this sort of discussion.
You do NOT qualify as the "Master Teacher" instruction disciples, so you don't get to use the one-way version.
Maybe you should humble yourself and actually LEARN something by listening to the questions put to you and try to seek the answers.
Fred is right, by your logic, H proves that H is non-halting, and thus not a decider.