home bbs files messages ]

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,165 of 10,432   
   Jeff Barnett to olcott   
   Re: Black box halt decider is NOT a part   
   26 Jul 21 11:16:45   
   
   XPost: comp.theory, comp.ai.philosophy, comp.software-eng   
   From: jbb@notatt.com   
      
   On 7/26/2021 10:41 AM, olcott wrote:   
   > On 7/26/2021 11:09 AM, AndrĂ© G. Isaak wrote:   
      
      
      
   >> You're claiming that an answer which does *not* correspond to the    
   >> actual answer to the question is somehow 'more correct' than the one    
   >> which does correspond to the actual answer to the question.   
   >>   
   >> That's what I would call a 'pathological claim'.   
   >>   
   >> AndrĂ©   
   >>   
   >    
   > P(P) != H(P,P) recognizes the pathological self-reference(Olcott 2004)    
   > error thus refuting Rice's theorem.   
      
   Reread the above and note how polite and nurturing Andre has been. And    
   yet you reject his simple, near trivial point. Of course he is correct.    
   You should apologize to him, not make silly arguments.   
      
   oh yes, how was Andres so polite to you? Well he called it a    
   "pathological claim"; a "pathological and irrational claimer" is much    
   nearer the mark others would say.   
      
   And what do you know about Rice? Since you likely can't boil water    
   without supervision to keep you from harm, you couldn't prepare rice. I    
   know it's a silly play on words but it's hard to believe that you can    
   function in the real world with such a disoriented mind.   
   --    
   Jeff Barnett   
      
   --- 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