XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 9/26/2025 5:15 PM, Kaz Kylheku wrote:   
   > 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.   
   >   
      
   *The conventional halting problem proof question is this*   
   For a halt decider H what correct halt status can   
   be returned for an input D that does the opposite   
   of whatever value is returned?   
      
   This is the actual diagonal proof question making   
   it immediately obvious that correct answers are   
   logically impossible.   
      
      
   --   
   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)