XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: rjh@cpax.org.uk   
      
   On 25/09/2025 15:27, olcott wrote:   
      
      
      
   > The semantic properties of finite strings is   
   > the key aspect of the halting problem that no   
   > one has ever properly addressed.   
      
   For the Halting Problem, the only semantic property you have to   
   worry about is whether a program halts.   
      
   --   
   Richard Heathfield   
   Email: rjh at cpax dot org dot uk   
   "Usenet is a strange place" - dmr 29 July 1999   
   Sig line 4 vacant - apply within   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)