XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: 643-408-1753@kylheku.com   
      
   On 2025-09-26, olcott  wrote:   
   > 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.   
      
   Lofty words there, Aristotle!   
      
   Too bad HHH(DD) has a different meaning depending on where it is placed   
   and who is evaluating it, plus whatever you need it to mean for whatever   
   you are saying.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)