XPost: comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-28, olcott  wrote:   
   > On 10/28/2025 2:37 PM, Kaz Kylheku wrote:   
   >> On 2025-10-28, olcott  wrote:   
   >>> On 10/28/2025 11:35 AM, Kaz Kylheku wrote:   
   >>>> On 2025-10-28, olcott  wrote:   
   >>>>> Deciders only compute a mapping from their actual   
   >>>>> inputs. Computing the mapping from non-inputs is   
   >>>>> outside of the scope of Turing machines.   
   >>>>   
   >>>> Calculating the halting of certain inputs is indeed impossible   
   >>>> for some halting algorithms.   
   >>>   
   >>> Not just impossible outside of the scope of every Turing machine.   
   >>> Its the same kind of thing as requiring the purely mental object   
   >>> of a Turing machine to bake a birthday cake.   
   >>   
   >> It simply isn't. Inputs that are not correctly solvable by some   
   >> deciders are decided by some others.   
   >>   
   >   
   > THIS INPUT IS SOLVABLE   
   > THE NON-INPUT IS OUT-OF-SCOPE   
   >   
   > DO I HAVE TO REPEAT THAT 10,000   
   > TIME BEFORE YOU NOTICE THAT I EVER SAID IT ONCE?   
      
   You have not said anything substantial about this even once.   
      
   To substantiate the idea that the input is actually two different   
   things: a solvable input, and an out-of-scope non-input, you need to   
   show an algorithm which separates inputs from non-inputs.   
      
      // Returns true if P is a non-input which is out of scope of H.   
      bool IsNonInput(Ptr H, Ptr P)   
      {   
         // fill me in with the deets, plz!   
      }   
      
   A few test cases:   
      
     IsNonInput(HHH, DD) -> true   
     IsNonInput(HHH1, DD) -> false   
     IsNonInput(HHH, Infinite_Loop) -> false   
      
   The first two show how DD is both an input and a non-input.   
      
   --   
   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)