From: rjh@cpax.org.uk   
      
   On 08/02/2023 3:03 pm, Paul N wrote:   
   > 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,   
      
   I refute it too. Bear with me.   
      
   > and to have a system which can accurately determine whether a program will   
   halt or not.   
      
   I, too, have such a system. Bear with me.   
      
   > He has a demonstration program, which he claims does not halt   
      
   He is mistaken.   
      
   > and which his detector identifies as non-halting.   
      
   His detector errs.   
      
   > 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.   
      
   Here is my refutation. Feed it with any program you like via a pipe.   
      
   #include    
      
   int main(void)   
   {   
      int ch;   
      while((ch = getchar()) != EOF)   
      {   
        continue;   
      }   
      puts("If executed, the specified program will halt.");   
      return 0;   
   }   
      
   --   
   Richard Heathfield   
   Email: rjh at cpax dot org dot uk   
   "Usenet is a strange place" - dmr 29 July 1999   
   Sig line 4 vacant - apply within   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)