Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 08. Nov 2024, 11:22:05
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <e7c5dffe4ad6a334786c977db38c0b5420697602@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 : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Thu, 07 Nov 2024 21:56:59 -0600 schrieb olcott:
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.
Pair, and not DDD alone.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.