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,160 of 10,432   
   David Brown to olcott   
   Re: Halting Problem Solved (Black Box De   
   17 Jul 21 16:47:14   
   
   XPost: comp.theory, comp.ai.philosophy, comp.software-eng   
   From: david.brown@hesbynett.no   
      
   On 17/07/2021 00:32, olcott wrote:   
   > On 7/16/2021 5:24 PM, Alan Mackenzie wrote:   
   >>   
   >> Every program is either halting or not halting.  Assuming the black box   
   >> returns the correct result, it can only return 1) or 2).  There is no   
   >> such thing as a "pathological program" in this sense.    
   >   
   > That an input was intentionally defined to do the opposite of whatever a   
   > corresponding TM decides  the exact same pathology as the liar paradox.   
   >   
   > That an input was intentionally defined to do the opposite of whatever a   
   > corresponding TM decides  the exact same pathology as the liar paradox.   
   >   
   > That an input was intentionally defined to do the opposite of whatever a   
   > corresponding TM decides  the exact same pathology as the liar paradox.   
   >   
      
   Sticking your fingers in your ears and shouting "Blah, blah, blah, I'm   
   not listening" does not constitute an argument.   
      
   > Flibble sees this.  You as one of many mere sheep refuse to even look at   
   > the counter-argument. That is despicable.   
   >   
      
   Generally speaking, when almost everyone else says you are wrong, it   
   does not mean you are the lone genius who sees the truth.  It means you   
   are wrong.   
      
   >   
   > "Great spirits have always encountered violent opposition from mediocre   
   > minds." Einstein   
      
   And deluded minds encounter opposition from even more people.   
   Opposition does not imply that you are a "great spirit".  You'd   
   appreciate that, if you understood anything about logic.   
      
   --- 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