From: gw7rib@aol.com   
      
   On Tuesday, February 7, 2023 at 9:58:29 PM UTC, JJ wrote:   
   > If you go to any programming sub in Reddit, or any programming channel in    
   > Discord, you'll realize that some people aren't capable of realizing that    
   > they are wrong.   
      
   This is even more obvious in comp.theory. There is a poster there who claims   
   to have refuted the Halting Problem proof, and to have a system which can   
   accurately determine whether a program will halt or not. He has a   
   demonstration program, which he    
   claims does not halt and which his detector identifies as non-halting. He does   
   however accept that when said program is run, it halts. He can't accept that   
   his simulation is incorrect, however, and instead argues that this is proof   
   that a program can    
   behave differently when it is "directed executed" from when it is "correctly   
   simulated". He goes on to say that it is correct for his detector to   
   determinate what will happen when the program is correctly simulated, rather   
   than what happens when it is    
   run, and so his detector is correct. Numerous people have pointed the problems   
   out to him, but he keeps posting to say that no-one has ever posted a correct   
   refutation.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)