XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   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   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)