XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: agisaak@gm.invalid   
      
   On 2025-09-26 13:49, olcott wrote:   
      
   > *The conventional halting problem question is this*   
   > Does there exist a single halt decider that   
   > can correctly report the halt status of the   
   > behavior of a directly executed machine on   
   > the basis of this machine's machine description.   
   >   
   > *The conventional halting problem proof question is this*   
   > What correct halt status value can be returned   
   > when the input to a halt decider actually does   
   > the opposite of whatever value is returned?   
   >   
   > These above conventional views are proven.   
      
   Those are questions. You can't prove a question. You prove statements.   
   And neither of those are conventional. You can't make up your own   
   formulations and then declare them to be conventional.   
      
   André   
      
   --   
   To email remove 'invalid' & replace 'gm' with well known Google mail   
   service.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)