XPost: comp.theory, comp.ai.philosophy, sci.math   
   From: polcott333@gmail.com   
      
   On 11/19/2025 10:42 PM, Kaz Kylheku wrote:   
   > On 2025-11-20, olcott  wrote:   
   >> On 11/19/2025 3:41 PM, Kaz Kylheku wrote:   
   >>> On 2025-11-19, olcott  wrote:   
   >>>> The sound basis of this reasoning is the   
   >>>> semantics of the C programming language.   
   >>>   
   >>> ... and, note,   
   >> that you dishonestly erased most of the context   
   >   
   > That's just the same pseudo-code snppet you've posted   
   > hundreds of times.   
   >   
      
   The idea is that I will keep repeating this   
   until you pay attention   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   int main()   
   {   
      HHH(DD);   
   }   
      
   HHH simulates DD that calls HHH(DD)   
   that simulates DD that calls HHH(DD)...   
      
   HHH1 simulates DD that calls HHH(DD) that   
   returns to DD that returns to HHH1.   
      
   The behavior of DD simulated by HHH1 is the   
   same as the behavior of DD() executed from main.   
      
   The sound basis of this reasoning is the   
   semantics of the C programming language.   
      
      
   --   
   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)