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

On 5/15/24 1:01 PM, olcott wrote:

On 5/15/2024 11:23 AM, joes wrote:

Am Wed, 15 May 2024 10:24:57 -0500 schrieb olcott:

On 5/15/2024 3:18 AM, Mikko wrote:

On 2024-05-14 14:35:42 +0000, olcott said:

>

That is not strictly conforming and hardly conforming at all.
>

What trivial syntactic error that has no effect what-so-ever on the
semantics do you believe remains?
A missing semi-colon?

What is H?
>

The example must be simple enough so that people unfamiliar with C will
not be overwhelmed by things such as: typedef int (*ptr)();
a return value of 0 from main() also might be a little confusing.
I am trying to fit the essence of my proof on a single page.

Then you can’t claim knowledge of C is required.
>

 Knowledge of C is required to affirm or deny my statement.
Knowledge of programming is required to understand the gist
of what I am saying.
 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 }
 Any H/D pair matching the above template where
D(D) is simulated by the same H(D,D) that it calls
cannot possibly reach past its own line 03.
This is a simple software engineering verified fact.
 

I proved that one can, and you refuse to answer about it, proving you are just a pathological lying due to YOUR reckless disregard for the truth.
And, apparently you think I might have a case, as you aren't willing to accept the put up or snut up challange, as when you are shown wrong, your main weapon, claiming people haven't refuted you becomes an admission of lying.