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,791 of 262,912    |
|    polcott to All    |
|    Re: on mathematical ghosts --- PLO    |
|    08 Dec 25 23:02:20    |
      XPost: comp.theory, sci.math       From: polcott333@gmail.com              On 12/8/2025 10:54 PM, dart200 wrote:       > 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       >              None the less you can carefully examine       his work and see how and where he affirms       your position. Eric is happy with me.              --       Copyright 2025 Olcott              My 28 year goal has been to make       "true on the basis of meaning" computable.              This required establishing a new foundation       for correct reasoning.              --- 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