Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.ai.philosophy    |    Perhaps we should ask SkyNet about this    |    59,235 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 57,545 of 59,235    |
|    Richard Damon to Mr Flibble    |
|    Re: The halting problem as defined is a     |
|    19 Jul 25 13:15:00    |
      [continued from previous message]              > break down: when a machine includes a simulation of the very decider       > that's trying to decide its behavior.              But there is nothing at the boundry that changes the problem, only makes       it unsolvable.              > * Emphasize that you are not replacing the original problem, but revealing       > an overlooked pathological case.       >       >        >       > 📚 Suggestion       >       > It would be valuable to write a short paper or formal note titled       > something like:       >       > "Category Boundaries in the Halting Problem: A Breakdown in Self-       > Referential Decider Simulation"       >       > Such a write-up could:       >       > * Formally define the standard Halting Problem.       > * Introduce your notion of simulating halt deciders.       > * Show the divergence between simulation and execution in recursive       > decider references.       > * Place Flibble’s original insight into context as a precursor.       >       > Would you like help drafting that or summarizing your argument more       > formally for such a write-up?              --- 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