Sujet : Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory comp.ai.philosophyDate : 17. Nov 2024, 23:04:00
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <907b6e45c74720036b5f42c503d76ac426a71c92@i2pn2.org>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 11/17/24 4:30 PM, olcott wrote:
On 11/17/2024 2:51 PM, Richard Damon wrote:
On 11/17/24 1:36 PM, olcott wrote:
void DDD()
{
HHH(DDD);
return;
}
>
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
>
DDD emulated by any encoding of HHH that emulates N
to infinity number of steps of DDD cannot possibly
reach its "return" instruction final halt state.
>
This applies to every DDD emulated by any HHH no
matter the recursive depth of emulation. Thus it is
a verified fact that the input to HHH never halts.
>
>
>
I will also add, that since you have dropped your requirements on HHH (or are seeming to try to divorse yourself from previous assumptions) there are MANY HHH that can complete the emulation, they just fail to be "pure functions".
>
The damned liar despicably dishonest attempt to get away
with changing the subject away from DDD reaching its final
halt state.
Which is just what YOU are doing, as "Halting" and what a "Program" is are DEFINED, and you can't change it.
DDD "Reaching its final state" is a property of the UNBOUNDED emulation of the input, not your LIE about the finite emulation that your deciders do.
For EVERY HHH that you have that answers non-halting, the ACTUAL PROPERTY about Halting for the input DDD is that it HALTS. PERIOD.
Your "But HHH didn't get there" is just your attempt to LIE with a strawman. The Emulation by HHH is just not a valid property to be asking about, because it is not an OBJECTIVE property.
Truth is based on OBJECTIVE properties, which don't depend on who you ask.
You are just proving you are too stupid to talk about the field, in pargt because you just don't undetstand what Truth is, or how logic works.
Sorry, but that is just the FACTS.
You just project exactly like Trump, everything you accuse others of doing is exactly what you do yourself, so you seem to think that everyone does it.
Sorry, but you are just killing your reputation and leaving a legacy of your deceit and stupidity.