XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 11/24/2025 8:15 PM, Kaz Kylheku wrote:   
   > On 2025-11-24, olcott  wrote:   
   >> On 11/24/2025 4:45 PM, Kaz Kylheku wrote:   
   >>> Olcott maintains that the only differenc ebetween HHH1 and HHH is   
   >>> that DD calls HHH and not HHH1. Obviously that is false.   
   >>>   
   >>   
   >> That is the key difference   
   >   
   > But that difference in the run-time of the system you have built is   
   > propped up by bugs:   
   >   
      
   That is the kind of: "reckless disregard for the truth"   
   that loses libel cases.   
      
   > - relying on mutable static state, of which HHH and HHH1 have their own   
   >    instance.   
   >   
      
   Is certainly not any kind of bug what-so-ever.   
   That statement is the kind of:   
   "reckless disregard for the truth"   
   that loses libel cases.   
      
   > - comparing function addresses as the basis of equality and inequality   
   >   
      
   Is exactly how one can tell that the same function   
   has been called from the same address at the x86   
   level of semantics.   
      
   > - ...   
   >   
   >> That is the key difference   
   >   
   > If you properly coded HHH1 and HHH as pure functions that are identical,   
   > and compared equal even if they have different addresses, then there   
   > would be no difference between HHH(DD) and HHH1(DD).   
   >   
      
   I don't fully understand its analysis yet ChatGPT   
   seems to show how the static data can be implemented   
   using different segments of the Turing Machine tape.   
   https://chatgpt.com/share/691e0ea1-423c-8011-b3ad-20e2371d9496   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)