Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?

On 11/7/24 10:56 PM, olcott wrote:

On 11/7/2024 9:10 PM, Richard Damon wrote:

On 11/7/24 11:31 AM, olcott wrote:

>
DDD emulated by HHH has the property that DDD never reaches
its "return" instruction final halt state.

>
But DDD emulated by HHH isn't an objective property of DDD.
>

 It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
It <is> a semantic property of that finite string pair.
  

No it isn't
The semantic property is if the COMPLETE emulation of that input reaches the return statement, that is the definition of a semantic property in the field of computation.
Since HHH doesn't do a complete emulation, its result (if it answers) isn't the semantic property.
Note, DDD only has a sematic property if it is a COMPLETE program, so your "finite string" doesn't have that, since it isn't a complete program.
You are just proving that you don't understand the meaning of the words you are using.
You LIE about what input you need to give to HHH to actually represent the input you claim.
Just repeating your lies just increases the crime, and raises the heat of the flames you will meet.