Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.math.symbolic    |    Symbolic algebra discussion    |    10,432 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 10,160 of 10,432    |
|    David Brown to olcott    |
|    Re: Halting Problem Solved (Black Box De    |
|    17 Jul 21 16:47:14    |
      XPost: comp.theory, comp.ai.philosophy, comp.software-eng       From: david.brown@hesbynett.no              On 17/07/2021 00:32, olcott wrote:       > On 7/16/2021 5:24 PM, Alan Mackenzie wrote:       >>       >> Every program is either halting or not halting. Assuming the black box       >> returns the correct result, it can only return 1) or 2). There is no       >> such thing as a "pathological program" in this sense.        >       > That an input was intentionally defined to do the opposite of whatever a       > corresponding TM decides |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca