XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 9/26/2025 3:00 PM, André G. Isaak wrote:   
   > 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é   
   >   
      
   Any statement or question that is semantically   
   equivalent to another can be replaced by this   
   other expression of language while retaining   
   the same essential meaning.   
      
      
   --   
   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)