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

On 5/18/2024 3:30 AM, Fred. Zwarts wrote:

Op 18.mei.2024 om 02:34 schreef olcott:

On 5/17/2024 6:15 PM, André G. Isaak wrote:

On 2024-05-17 17:00, olcott wrote:

On 5/17/2024 3:02 PM, Alan Mackenzie wrote:

>

That "program" doesn't compile.  It's ill-formed.

>
This does compile under C17 and C11
with Microsoft Visual Studio 2022

 >

*Maybe you forgot to take the line numbers out*
*Maybe you forgot to take the line numbers out*
*Maybe you forgot to take the line numbers out*
*Maybe you forgot to take the line numbers out*
>
typedef int (*ptr)();
int H(ptr P, ptr I);

>
But that's not the code you provide in your numerous previous posts where you insist on
>
int H(ptr x, ptr x);
>
Maybe when people point out that there is an error you should actually proofread what you wrote.
>
[remaining code deleted].
>
André
>

>
typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr y);
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
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 }
>
When people tell me that I am wrong about the semantics of
that code template I have always known they are wrong because
I have always had empirical proof that D correctly simulated
By H cannot possibly reach its own simulated line 06 and halt.

 Please, tell us how this empirical proof for an infinite set of H/D pairs looks like.
 

https://www.researchgate.net/publication/351947980_Halting_problem_undecidability_and_infinitely_nested_simulation
The same pattern shown on the the x86 assembly language execution
trace of P correctly simulated by H on pages 4-5
I am about to start ignoring all of your posts, please
provide the evidence that you are interested on an honest
dialogue by finding all the things that you agree with.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer