home bbs files messages ]

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,758 of 59,235   
   olcott to Richard Damon   
   Re: Proof that DDD is correctly emulated   
   01 Aug 25 16:47:01   
   
   XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/1/2025 4:30 PM, Richard Damon wrote:   
   > On 8/1/25 5:08 PM, olcott wrote:   
   >> On 8/1/2025 3:48 PM, Richard Damon wrote:   
   >>> On 8/1/25 4:33 PM, olcott wrote:   
   >>>>   
   >>>> In other words neither Ĥ nor any human being   
   >>>> could possibly see the repeating sequence even   
   >>>> after it has repeated 100 million times?   
   >>>>   
   >>>   
   >>> Doesn't matter if is can determine what will happen, to correctly   
   >>> simulate the behavior, you have to do it.   
   >>>   
   >>   
   >> It seems that even after hundreds of corrections   
   >> you still do not understand that this infinite   
   >> sequence can be correctly detected in finite steps.   
   >>   
   >   
   > And you don't get that BY detecting that pattern, and putting that code   
   > into HHH, you put it into the code of the DDD that you are simulating,   
   > and it is no longer a non-halting pattern. It is only a non-hatling   
   > pattern if the HHH in the pattern will never abort its simulation.   
   >   
      
   When you intentionally define halting as stops running   
   for any reason this would be correct.   
      
   Since you know that this is not the correct way to   
   define halting, why do you define it that way?   
      
   --   
   Copyright 2025 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)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca