home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.programming      Programming issues that transcend langua      57,431 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 57,372 of 57,431   
   olcott to Richard Heathfield   
   Re: DD correctly emulated by HHH --- Tot   
   04 Mar 25 09:56:51   
   
   From: polcott333@gmail.com   
      
   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.   
      
   > and that means explaining exactly why   
   > their criticisms are ill-founded. Saying "I'm right and I won't listen   
   > to anyone claiming otherwise" lacks explanatory power.   
   >   
   > F'ups set.   
   >   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca