XPost: comp.theory, sci.logic, sci.math   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 6.12.2025 klo 14.22:   
   > On 12/6/2025 2:21 AM, Mikko wrote:   
   >> olcott kirjoitti 5.12.2025 klo 18.36:   
   >>> Alan Turing's Halting Problem is incorrectly formed   
   >>> Jun 6, 2004, 9:11:19 AM   
   >>> https://groups.google.com/g/sci.logic/c/V7wzVvx8IMw/m/ggPE6a-60cUJ   
   >>   
   >> There is nothing incorrect in Turing's problem formulation. TUring's   
   >   
   > Failing to find a mistake my proof counts as   
   > not any rebuttal what-so-ever.   
      
   Failing to find a mistake in Turing's halting problem counts as   
   not any rebuttal what-so-ever.   
      
   And so does failing to find Turing's halting problem.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)