XPost: comp.theory, comp.ai.philosophy, comp.software-eng   
   From: flibble@reddwarf.jmc   
      
   On Thu, 27 May 2021 10:01:13 -0500   
   olcott  wrote:   
      
   [snip]   
      
   > The above proof does correctly refute the halting theorem.   
      
   Which halting theorem? You haven't refuted Turing until you address the   
   issue of branching logic predicated on arbitrary program input.   
      
   /Flibble   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)