home bbs files messages ]

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