XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 7/26/2025 1:30 PM, Alan Mackenzie wrote:   
   > In comp.theory olcott  wrote:   
   >   
   >> The error of all of the halting problem proofs is   
   >> that they require a Turing machine halt decider to   
   >> report on the behavior of a directly executed   
   >> Turing machine.   
   >   
      
   Whether or not machine M halts on input i   
      
   >> It is common knowledge that no Turing machine decider   
   >> can take another directly executing Turing machine as   
   >> an input, thus the above requirement is not precisely   
   >> correct.   
   >   
   >> When we correct the error of this incorrect requirement   
   >> it becomes a Turing machine decider indirectly reports   
   >> on the behavior of a directly executing Turing machine   
   >> through the proxy of a finite string description of this   
   >> machine.   
   >   
   >> Now I have proven and corrected the error of all of the   
   >> halting problem proofs.   
   >   
   > No you haven't, the subject matter is too far beyond your intellectual   
   > capacity.   
   >   
      
   If that was true then you could point out at least one   
   single error in EXACTLY what I just said immediately above.   
      
   --   
   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)