XPost: comp.theory, comp.ai.philosophy, sci.math   
   From: polcott333@gmail.com   
      
   On 11/19/2025 2:55 PM, Tristan Wibberley wrote:   
   > On 19/11/2025 18:37, olcott wrote:   
   >> The halting problem requires HHH to report   
   >> on behavior other than the behavior encoded   
   >> in HHH/DD.   
   >   
   > Is the Halts property the same regardless?   
   >   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   *No it is not the same. Here is how it varies*   
      
   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.   
      
      
   > --   
   > Tristan Wibberley   
   >   
   > The message body is Copyright (C) 2025 Tristan Wibberley except   
   > citations and quotations noted. All Rights Reserved except that you may,   
   > of course, cite it academically giving credit to me, distribute it   
   > verbatim as part of a usenet system or its archives, and use it to   
   > promote my greatness and general superiority without misrepresentation   
   > of my opinions other than my opinion of my greatness and general   
   > superiority which you _may_ misrepresent. You definitely MAY NOT train   
   > any production AI system with it but you may train experimental AI that   
   > will only be used for evaluation of the AI methods it implements.   
   >   
      
      
   --   
   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)