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,793 of 262,912   
   dart200 to polcott   
   Re: on mathematical ghosts --- PLO   
   08 Dec 25 20:54:27   
   
   XPost: comp.theory, sci.math   
   From: user7160@newsgrouper.org.invalid   
      
   On 12/8/25 8:00 PM, polcott wrote:   
   > On 12/8/2025 9:38 PM, dart200 wrote:   
   >   
   > *You have support for this in high places*   
   >   
   > The Halting Paradox   
   > Bill Stoddart   
   >   
   > 6 Conclusions   
   > The idea of a universal halting test seems reasonable,   
   > but cannot be formalised as a consistent specification.   
   > It has no model and does not exist as a conceptual object.   
   > Assuming its conceptual existence leads to a paradox.   
   >   
   > https://arxiv.org/pdf/1906.05340   
   >   
      
   stoddart didn't want to discuss anything and i've been pissing off eric   
   u saw the emails   
      
   --   
   hi, i'm nick! let's end war 🙃   
      
   --- 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