Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/9/25 11:53 AM, olcott wrote:

On 5/9/2025 10:42 AM, joes wrote:

Am Fri, 09 May 2025 10:33:27 -0500 schrieb olcott:

On 5/9/2025 3:39 AM, Fred. Zwarts wrote:

Op 09.mei.2025 om 01:53 schreef olcott:

On 5/8/2025 6:45 PM, Keith Thompson wrote:

>

You are using C, a language in which you appear to have little
apparent expertise or willingness to learn, to demonstrate claims
that, if true, would overturn ideas that have been generally accepted
for decades.  Can you understand why I might decide that analyzing
your claims is not worth my time?
>

I learned C back when K & R was the standard.
We don't need to look at any of my code for me to totally prove my
point. For example when the above DDD is correctly simulated by HHH
this simulated DDD cannot possibly reach its own "return" instruction.
>

A vacuous statement, because HHH cannot correctly simulate DDD, which
includes HHH itself.
A vacuous statement does not prove anything.

>
You are saying that the smartest genius (not me)
in the universe cannot possibly create an HHH that simulates itself
simulating DDD?
What is the evidence for this wild-eyed claim?

Because it runs forever, and a decider needs to return.
>

 In other words you are trying to change the subject
from this:
 void DDD()
{
   HHH(DDD);
   return;
}
 When 1 or more statements of DDD are correctly
simulated by HHH then this correctly simulated
DDD cannot possibly reach its own “return statement”.
 

No, because your statements are just nonsense lies.
The input you describe is just NOT A PROGRAM, and thus doesn't HAVE a Halting Property.
Your Emulator just fails to be a correct emulator because it isn't a pure function of its input, and it stops before it gets to the end.
Note doing only 1 or more steps is NOT a "Correct Simulation" if it stops before reaching the final state.
Just like a polygon of n sides is not a circle.
Sorry, you are just proving that you are nothing but an ignorant pathological liar that doesn't care about what is true.