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

olcott <polcott333@gmail.com> wrote:

On 5/16/2024 11:15 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 5/16/2024 5:48 AM, Mikko wrote:

On 2024-05-15 15:24:57 +0000, olcott said:

[ .... ]

Normal semantics is that the program is not executed.

Indeed.

typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr x);
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 }

Can you find any compiler that is liberal enough to accept that?

It has been fully operational code under Windows and
Linux for two years.

That is another of your lies.  It's largely why I despise you so much.

Although you've fixed the missing semicolon on line 0 (at last), it still
fails to compile under any C compiler worthy of the name.  With all the
errors in it it still would have failed to compile under Linux or Windows
ever since it was written.

Quit lying.  And fix that program fragment, assuming your C skills are up
to it.

There are many postings in this group providing the
actual execution trace output of that program.

That "program" doesn't compile.  It's ill-formed.  It cannot have
produced "actual execution trace output".  I can only assume that that
output was produced by means other than letting that code fragment run.

It was named H and had input P,P back in 2021.

All your programs are named H, so that doesn't say very much.

The record shows that you responded to these posts
that had the actual execution trace output provided.

How did you produce that "actual" execution trace?

My code fragment is a program template. I have told you this
countless times and you simply ignore what I say.

You're like a slimy politician who can never be tied down to his precise
meaning.  You have (almost) said that that "program template" has
produced "actual execution traces".  It clearly hasn't.  What you wrote
in your post was a contradiction.

Maybe you can't see the lie.  Everybody else can.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).