XPost: comp.theory   
   From: mikko.levanto@iki.fi   
      
   On 2025-10-15 15:10:47 +0000, olcott said:   
      
   > On 10/15/2025 9:50 AM, tTh wrote:   
   >> On 10/15/25 14:32, olcott wrote:   
   >>   
   >>> Here is that full proof.   
   >>> https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c   
   >>   
   >>    Can you take those insanity out of comp.lang.c ?   
   >   
   > I just needed a couple of cross posts.   
   > Here is how it is related to C/C++   
      
   There is nothing language specific in the halting problem.   
      
   To prove that a particular C++ program halts requires C++ specific   
   considerations that are not needed to prove that a C program halts   
   but that is a separate problem, clearly distinct from the halting   
   problem.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)