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