XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 12/14/2025 1:55 PM, Richard Damon wrote:   
   > On 12/14/25 11:32 AM, olcott wrote:   
   >> On 12/14/2025 3:56 AM, Mikko wrote:   
   >>> On 13/12/2025 23:32, olcott wrote:   
   >>>   
   >>>> All of the textbooks require halt deciders to   
   >>>> report on the behavior of machine M on input w.   
   >>>> This may be easy to understand yet not precisely   
   >>>> accurate.   
   >>   
   >>> That is precisely accurate. The problem is exactly what the problem   
   >>> statement says. You may define your problem differently but then   
   >>> you just have another problem. The halting problem still is what   
   >>> it was.   
   >>>   
   >>   
   >> All the textbooks simply ignore that no Turing   
   >> machine can possibly compute the mapping from   
   >> the behavior from another actual Turing machine.   
   >   
   > Sure it can, from the representation of it.   
   >   
   > Just like it can add two numbers by using representatins.   
   >   
   >>   
   >> They can only compute the mapping from a finite   
   >> string input that is a mere proxy for this behavior.   
   >   
   > And the proxy represents that same behavior, so it must get the same   
   > result.   
   >   
      
   As I have conclusively proved many thousands of   
   times that the behavior of DD AS AN ACTUAL INPUT   
   to HHH does SPECIFY non-halting behavior.   
      
   You only believe otherwise because all of the   
   textbooks glossed over that halt deciders never   
   ever directly report on the behavior of Turing   
   machines. Instead they report on behavior through   
   the proxy of finite string INPUTS.   
      
   Because of this when the proxy specifies behavior   
   different than the behavior of the machine you   
   incorrectly assume that the proxy is wrong and   
   the machine is right.   
      
   >>   
   >> They all wrote it up less accurately because it   
   >> was easier to understand and they assumed that   
   >> it made no difference.   
   >>   
   >   
   > Be4 cause it does make no difference, unless your logic assumes that you   
   > are allowed to lie about things.   
      
      
   --   
   Copyright 2025 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)