XPost: comp.theory, comp.lang.c++, sci.logic   
   From: polcott333@gmail.com   
      
   On 12/2/2025 8:56 AM, Andy Walker wrote:   
   > On 01/12/2025 21:48, Richard Heathfield wrote:   
   >> On 01/12/2025 19:45, Alan Mackenzie wrote:   
   >>> [...] It's strenuous and sole destroying at the   
   >>> best of times; [...].   
   >   
   >      Ouch!  That's bad for the feet.   
   >   
   >> I've been (mostly) in for a while, and I've lost nothing.   
   >   
   >      Likewise;  and the same applies to several respected posters   
   > who have contributed only occasionally or not at all now for several   
   > years.   
   >   
   >> But nature abhors a vacuum. If we can't do anything about the   
   >> eternal noise, the best way to improve the S/N ratio is to boost the   
   >> signal. If we just stop posting, by default the group becomes a   
   >> nutjob advocacy group.   
   >   
   >      There's no need for people to stop.  The noise is largely because   
   > people cannot refrain from replying /instantly/ to everything written.   
   > When an article is several hundred lines /and/ is posted a few minutes   
   > after the post to which it is replying then you /know/ that it contains   
      
   typedef int (*ptr)();   
   int HHH(ptr P);   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   int main()   
   {   
      HHH(DD);   
   }   
      
   *Proof that HHH correctly rejects HHH*   
      
   (a) DD simulated by HHH according to the   
        semantics of the C programming language   
      
   (b) Cannot possibly reach its own "return"   
        statement final halt state   
      
   (c) While being simulated by HHH   
      
   Conclusively proves that behavior that the   
   input to HHH(DD) specifies is non-halting behavior.   
      
   That   
   (a) Turing machine deciders only compute the mapping   
        from their [finite string] inputs   
      
   (b) To an accept or reject state   
      
   (c) On the basis that this [finite string] input specifies   
        or fails to specify a semantic or syntactic property.   
      
   Proves that the halting problem, itself is incorrect   
   when it requires something else.   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)