From: rjh@cpax.org.uk   
      
   On 04/03/2025 15:56, olcott wrote:   
   > On 3/4/2025 8:47 AM, Richard Heathfield wrote:   
   >> On 04/03/2025 14:32, olcott wrote:   
   >>> The only valid rebuttal is to show all of the steps of   
   >>> exactly how DD correctly emulated by HHH reaches its   
   >>> own "ret" instruction.   
   >>   
   >> If that is the only rebuttal you are prepared to accept as   
   >> valid, congratulations! You have solved the Halting Problem   
   >> entirely to your own satisfaction.   
   >>   
   >> If you want to be recognised for your breakthrough, however, it   
   >> is not enough that nobody should convince you that you're   
   >> wrong; you have to convince others that you're right,   
   >   
   > If they can not show how DD correctly emulated by HHH   
   > reaches its own "ret" instruction this proves that they   
   > lack the technical competence to understand that the   
   > code proves that HHH(DD) is correct to reject its input   
   > as non-terminating.   
      
   Unfortunately, declaring that you're right isn't sufficiently   
   convincing to win you any recognition. Just saying "X proves Y"   
   lacks rigour, and rigour is what you're going to need if you're   
   to persuade anyone.   
      
   --   
   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-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)