XPost: comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-17, olcott  wrote:   
   > On 11/16/2025 10:29 PM, Kaz Kylheku wrote:   
   >> On 2025-11-16, olcott  wrote:   
   >>> That the information that HHH is required to report   
   >>> on simply is not contained in its input is what makes   
   >>> halting undecidable.   
   >>   
   >> That is false.   
   > No courage to respond to the post where you made a fool of yourself   
      
   I generally don't respond to my own posts, except to note some erratum.   
      
   > news://news.eternal-september.org/10fbef2$3t9aq$1@dont-email.me   
      
   That's your post where you are upset that I compared your nonsense   
   reasoning to the argumentation presented in the Witch scene in   
   Monty Python and The Holy Grail.   
      
   H is not required to report antyhing outside of its finite input D.   
      
   The case is solved by other deciders which are able to use that   
   information just fine. E.g.   
      
     int H_utm(ptr P) { UTM(P); return 1; }   
      
   H_utm(D) will completely step D, which is terminating, and return 1,   
   which is correct. (H_utm does not return for nonterminating inputs,   
   but that's neither here nor there when we know that D terminates.)   
      
   I mean, look. Witches burn and so does wood, therefore witches   
   are made of wood. Wood floats on water, and so does a duck.   
   Therefore if she weighs as much as a duck, she must be a witch.   
      
   If you don't see the truth in this, you either lack the depth or   
   have been brainwashed into closed-mindedly rejecting anything that   
   doesn't correspond to conventional wisdom.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)