Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 08. Nov 2024, 18:01:21
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <78a3858469721b9c70c6672df4bf2c03e0492d70@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
On 11/8/24 10:02 AM, olcott wrote:
On 11/8/2024 6:25 AM, Richard Damon wrote:
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
>
Liar.
No, you are, becuase you don't know know what the words mean.
The semantic property is the results of the COMPLETE emulation of the input given to HHH, not its partial emulation, and the complete emulation is of the DDD using THAT HHH, the one that aborts and returns the answer if that is the one you are claiming to be giving the right answer.
Sorry, you are just proving your stupidity and ignorance.
…