On 10/16/2025 4:34 AM, Mikko wrote:lol. HHH(D). Make a 100% fully working program that compiles in std C or C++, and show it to us. Yes, HHH has to be in there. Sigh.On 2025-10-15 15:10:47 +0000, olcott said:It is just that the C code is fully operational
>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.
>
code that succinctly makes my point.
C programmers are probably aware that a proof
of total program correctness might be handy.
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.
>
Les messages affichés proviennent d'usenet.