XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/28/2025 4:06 PM, joes wrote:   
   > Am Tue, 28 Oct 2025 15:53:52 -0500 schrieb olcott:   
   >> On 10/28/2025 2:28 PM, joes wrote:   
   >>> Am Tue, 28 Oct 2025 13:46:23 -0500 schrieb olcott:   
   >>>> On 10/28/2025 1:32 PM, joes wrote:   
   >   
   >>> Nobody has claimed otherwise. Every input is decidable!   
   >> I have proven that the counter-example input is decidable thus refuting   
   >> by the same halt decider that this input is rigged against thus refuting   
   >> the proof.   
      
   > Of course DD is decidable. You just decided (pun not intended) to redefine   
   > halting.   
   >   
      
   int D()   
   {   
      int Halt_Status = H(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   H simulates D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   that calls H(D) to simulate D   
   until H sees this repeating pattern.   
      
   Not at all. I discovered that the halting problem   
   itself is a category error because it sometimes   
   requires a halt decider to report on something   
   other than exactly what its finite string input   
   specifies.   
      
   >>>>>> That the semantic properties of finite string inputs differ from the   
   >>>>>> semantic properties of non-inputs seems to be the crux of my   
   >>>>>> innovation.   
   >>>>> Which string is not an input?   
   >>>> Every one that is not an argument to H.   
   >>> How does the description of D differ when you execute or simulate it?   
   >> I have only told you this 10,000 times.   
      
   > No, I mean the description. What is the difference between the code of   
   > D and the input to H?   
   >   
      
   The input to H(D) specifies non-halting even though   
   the directly executed D() halts. Deciders only report   
   on what their input specifies requiring more than this   
   is a category error. For all of these years since   
   1936 the halting problem has only been a category error.   
      
   Flibble was the first to use this term in this forum   
   on this matter. I always thought that was brilliant.   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)