On 10/16/2025 4:34 AM, Mikko wrote:That it is C code is not essential to its purpose. However, thatOn 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:There is nothing language specific in the halting problem.On 10/15/25 14:32, olcott wrote:I just needed a couple of cross posts.
Here is that full proof.Can you take those insanity out of comp.lang.c ?
https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c
Here is how it is related to C/C++
code that succinctly makes my point.
it is not plain standard C seems to be essential. Fortran code
with similar implementation specific extension (or with a small
assembly routine) could be used instead.
C programmers are probably aware that a proofAnd it is rarely easy to make that 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.
Mikko
Les messages affichés proviennent d'usenet.