XPost: comp.theory, sci.logic, sci.math   
   From: rjh@cpax.org.uk   
      
   On 22/10/2025 20:24, André G. Isaak wrote:   
   > On 2025-10-22 12:40, Kaz Kylheku wrote:   
   >> On 2025-10-22, olcott  wrote:   
   >>> On 10/22/2025 12:07 PM, Kaz Kylheku wrote:   
      
      
      
   >>>> DD is a "finite string input" which specifies a behavior that is   
   >>>> independent of what simulates it,   
   >>>   
   >>> That is stupidly incorrect.   
   >>> That DD calls HHH(DD) (its own simulator) IS PART OF   
   >>> THE BEHAVIOR THAT THE INPUT TO HHH(DD) SPECIFIES.   
   >>   
   >> In no way am I saying that DD is not built on HHH, and   
   >> does not have a behavior dependent on that of HHH.   
   >> Why would I ever say that?   
   >>   
   >> But that entire bundle is one fixed case DD, with a single   
   >> behavior,   
   >> which is a property of DD, which is a finite string.   
   >   
   > I think part of the problem here is that Olcott doesn't grasp   
   > that the "finite string input" DD *must* include as a substring   
   > the entire description of HHH.   
      
   He also seems to be missing the fact that HHH's sole input is a   
   function pointer that it immediately invalidates by casting the   
   pointer into into a uint32_t.   
      
   HHH's ability to simulate DD is like a dog's walking on his hind   
   legs. It doesn't work well, but you are surprised to find it   
   working at all.   
      
   --   
   Richard Heathfield   
   Email: rjh at cpax dot org dot uk   
   "Usenet is a strange place" - dmr 29 July 1999   
   With apologies to Dr Johnson.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)