XPost: comp.theory, comp.lang.c++, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   D simulated by H measures the semantic property   
   of the actual input as opposed to and contrast   
   with the semantic property of a non-input. H and   
   H1 are identical except that D does not call H1.   
      
   We can tell an input from a non-input because an   
   input is an argument to the function H.   
      
   D.input_to_H   
   specifies different behavior than   
   D.input_to_H1.   
      
   int D()   
   {   
      int Halt_Status = H(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   H simulates D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   until H sees this repeating pattern   
   Then H returns 0;   
      
   H1 simulates D   
   that calls H(D) to simulate D   
   then H(D) returns 0 to caller D   
   then H1 returns 1;   
      
   Imagine   
   H and H1 are simulating termination   
   analyzers anchored in a C interpreter   
   that takes a finite string input   
      
   H can recognize a call to itself in   
   its input. The whole input is the   
   text of the function D. The executable   
   interpreters are named H.exe and H1.exe.   
      
      
      
   --   
   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)