Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.ai.philosophy    |    Perhaps we should ask SkyNet about this    |    59,235 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 57,347 of 59,235    |
|    Fred. Zwarts to All    |
|    Re: Any honest person that knows the x86    |
|    29 Jul 24 21:38:57    |
   
   XPost: comp.theory   
   From: F.Zwarts@HetNet.nl   
      
   Op 29.jul.2024 om 21:35 schreef olcott:   
   > On 7/29/2024 2:18 PM, Fred. Zwarts wrote:   
   >> Op 29.jul.2024 om 16:07 schreef olcott:   
   >>> HHH(Infinite_Recursion) and HHH(DDD) show the same non-halting   
   >>> behavior pattern in their derived execution traces of their   
   >>> inputs.   
   >>>   
   >>> Correct emulation is defined as emulating the machine language   
   >>> input according to the x86 semantics specified by this input.   
   >>>   
   >>> For DDD correctly emulated by HHH this includes HHH emulating   
   >>> itself emulating DDD according to the x86 semantics of itself.   
   >>>   
   >>> HHH(DDD) shows the exact same execution trace behavior pattern   
   >>> as HHH(Infinite_Recursion) where 3-4 instructions are repeated   
   >>> with no conditional branch instructions in this trace that could   
   >>> prevent them from endlessly repeating.   
   >>>   
   >>> void Infinite_Recursion()   
   >>> {   
   >>> Infinite_Recursion();   
   >>> }   
   >>   
   >> No, the HHH that aborts after N cycles has a similar behaviour as   
   >>   
   >   
   > So you don't even know that infinite recursion is non-halting behavior.   
   > You can go back and try again on this same post I am not looking at   
   > anything else that you say.   
      
   Non halting is only in your dreams. HHH that aborts halts. Dreams are no   
   substitute for logic.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca