home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,744 of 262,912   
   Mikko to All   
   Re: I am first to have fully refuted the   
   07 Dec 25 13:28:43   
   
   XPost: comp.theory, alt.buddha.short.fat.guy, sci.math   
   From: mikko.levanto@iki.fi   
      
   On 2025-12-06 at 14:16 olcott wrote a message with the subjec line   
   "I am first to have fully refuted the Halting Problem".   
      
   This subject line does not make sense. The expression "refuted the   
   Halting Problem" does not mean anything. To refute a claim means   
   to prove that the claim is false. But a problem does not claim and   
   is neither true or false. Therefore it is a category error to say   
   "refuted the Halting Problem".   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca