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

On 3/13/2025 9:23 PM, dbush wrote:

On 3/13/2025 9:50 PM, olcott wrote:

On 3/13/2025 7:32 PM, dbush wrote:

On 3/13/2025 8:21 PM, olcott wrote:

On 3/13/2025 3:48 PM, 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

>
*Changing my quoted words is dishonest*
>

>
Not when you gave your official on-the-record permission to do so:
>

>
YOU ARE A DAMNED LIAR
>

 And now you're lying about having made such a statement when the evidence is right there in black and white for all to see. 

*You know damned well that you are a damned liar*
What you fail to understand is that my work can save the
planet from climate change liars by showing how to define
a Truth() predicate for natural language formalized with
something like Montague Grammar.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer