Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2

On 7/13/2024 10:25 AM, Richard Damon wrote:

On 7/13/24 11:15 AM, olcott wrote:

>
In other words when you are very hungry you have the
free will to decide that you are not hungry at all
and never eat anything ever again with no ill effects
to your health what-so-ever.
>

 Just shows that though I have free will, I am also in a Universe with a lot of determinism.
 

Try and use this free will to make a square circle.

 Nope, just shows you don't know what you are talking about and need to switch to Red Herring because you lost the argument.
 Face it, all you have proved is that you are nothing but a pathetic ignorant pathological lying idiot.

>

>
After HHH has already aborted its simulation of DDD
and returns to the DDD that called it is not the same
behavior as DDD simulated by HHH that must be aborted.
>

>
Right, and the question is about the behavior of DDD,

>
the input finite string not an external process that HHH
has no access to.
>

 Right, but the program it represents, and the question is about IS.
 

HHH cannot be correctly required to report on the behavior
of an external process that it has no access to.
As soon as HHH correctly determines that it must abort the
simulation of its input to prevent its own infinite execution
HHH is necessarily correct to reject this finite string as
specifying non-halting behavior.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer