Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String

On 13/03/2025 20:48, dbush wrote:

On 3/13/2025 4:46 PM, olcott wrote:

On 3/13/2025 4:27 AM, joes wrote:

Am Wed, 12 Mar 2025 21:41:34 -0500 schrieb olcott:

On 3/12/2025 7:56 PM, dbush wrote:

On 3/12/2025 8:41 PM, olcott wrote:

>
NOT WHEN IT IS STIPULATED THAT THE BEHAVIOR BEING MEASURED IS

>
The direct execution of DDD

>
is proven to be different than the behavior of DDD emulated by HHH
according to the semantics of the x86 language.

>
Which is weird, considering that a simulator should produce the same
behaviour.
>
>

DECIDERS ARE REQUIRED TO REPORT ON THE SEMANTIC OR SYNTACTIC PROPERTY OF
THEIR INPUT FINITE STRINGS.

And not if the input called a different simulator that didn't abort.
>

>
Replacing the code of HHH with an unconditional simulator and subsequently running HHH(DD) cannot possibly
reach its own final state no matter what HHH
does.
>
Replacing the code of HHH1 with an unconditional simulator and subsequently running HHH1(DD) does reach its
own final state.
>
If someone was not a liar they would say that
these are different computations.
>

 Only because one changes the code that DD runs and one doesn't

It hardly matters. Either his emulation faithfully and correctly establishes and reports (for EVERY program anyone cares to feed it) the actual halting behaviour exhibited by the program it's emulating, or it doesn't.
If it doesn't, it doesn't, and it's a lot of fuss over nothing.
But if it /does/, then we're right back at Turing's proof, because a working emulator is just another way of running the code, and is therefore superfluous to requirements. It adds nothing to the debate, because we can just run the code and get the same answer the emulator would provide.
In other words, the emulator is a canard, a distraction, a cul-de-sac, and a complete waste of time. If it happens to work, great! Well done that man. But it doesn't affect the HP logic one microscopically minuscule millijot.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within