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 58,752 of 59,235    |
|    Bonita Montero to All    |
|    Re: Conventional notion of deciders    |
|    22 Dec 25 16:22:12    |
   
   XPost: comp.theory, sci.logic, sci.math   
   From: Bonita.Montero@gmail.com   
      
   Am 21.12.2025 um 23:36 schrieb olcott:   
   > On 12/21/2025 12:34 PM, Bonita Montero wrote:   
   >> Am 21.12.2025 um 15:37 schrieb olcott:   
   >>> Deciders: Transform finite string inputs by finite string   
   >>> transformation rules into {Accept, Reject} values.   
   >>>   
   >>> When there are no finite string transformation rules that   
   >>> transform the input finite string into {Accept, Reject} values   
   >>> the conventional view is that the input is undecidable.   
   >>>   
   >> That's all for the ivory tower you do.   
   >> Have you ever done any real programming ?   
   >>   
   >   
   > Decades.   
   >   
   > My post recent.   
   > https://github.com/plolcott/x86utm   
   >   
   > https://en.wikipedia.org/wiki/NPOESS   
   > I was the C++ programmer for Satellite ingest.   
   >   
   > A couple of years of this   
   > https://en.wikipedia.org/wiki/ObjectARX   
   >   
   Sorry, that's the same ivory tower issue.   
   Do you have experience with a larger commercial project ?   
      
   --- 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