XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/6/2025 6:41 AM, Richard Damon wrote:   
   > On 8/6/25 7:39 AM, olcott wrote:   
   >> On 8/6/2025 4:00 AM, Fred. Zwarts wrote:   
   >>> Op 06.aug.2025 om 05:47 schreef olcott:   
   >>>>   
   >>>> It corrects the error of the requirement that   
   >>>> a halt decider reports on its own behavior.   
   >>>>   
   >>>>     "The contradiction in Linz's (or Turing's) self-referential   
   >>>>      halting construction only appears if one insists that the   
   >>>>      machine can and must decide on its own behavior, which is   
   >>>>      neither possible nor required."   
   >>>>   
   >>>> https://chatgpt.com/share/6890ee5a-52bc-8011-852e-3d9f97bcfbd8   
   >>>>   
   >>>   
   >>> That seems to be one of your misunderstanding. A decider must report   
   >>> on the behaviour of its input, even if this behaviour resembles its   
   >>> own behaviour. That is very different from 'deciding on its own   
   >>> behaviour'.   
   >> *This is my correction*   
   >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.∞   
   >>     if ⟨Ĥ⟩ ⟨Ĥ⟩ simulated by Ĥ.embedded_H reaches   
   >>     its simulated final halt state of ⟨Ĥ.qn⟩, and   
   >>   
   >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn   
   >>     if ⟨Ĥ⟩ ⟨Ĥ⟩ simulated by Ĥ.embedded_H cannot possibly   
   >>     reach its simulated final halt state of ⟨Ĥ.qn⟩.   
   >>   
   >> *This is the original erroneous one*   
   >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.∞,   
   >>     if Ĥ applied to ⟨Ĥ⟩ halts, and   
   >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn   
   >>     if Ĥ applied to ⟨Ĥ⟩ does not halt.   
   >>   
   >> *Lines two and four requires Ĥ.embedded_H to report on its own behavior*   
   >>   
   >   
   >   
   > Which is valid.   
   >   
      
   typedef void (*ptr)();   
   int HHH(ptr P);   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   A halt decider is required to report on the actual behavior   
   that its input actually specifies.   
      
   After N steps of DD correctly emulated by HHH the   
   non-terminating pattern of recursive emulation emerges   
   on the basis of the structure of the relationship   
   between HHH and DD. There never has been any actual   
   need for an infinite emulation to see this pattern.   
      
   > And you are just stupid to think otherwise.   
      
   Things people say when they have no actual reasoning   
   to back up their position.   
      
      
   --   
   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)