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 262,107 of 262,912    |
|    Chris M. Thomasson to Bonita Montero    |
|    Re: Conventional notion of deciders    |
|    22 Dec 25 13:34:33    |
   
   XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: chris.m.thomasson.1@gmail.com   
      
   On 12/22/2025 7:22 AM, Bonita Montero wrote:   
   > 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 ?   
   >   
      
   https://en.wikipedia.org/wiki/NPOESS   
      
   I don't know if he was involved with that or not. Humm, imvvho, he would   
   almost have to be familiar with vector fields to work on it? His C code   
   is pretty terrible.   
      
   --- 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