Re: Only C programmers tell the truth about the behavior of DD simulated by HHH

On 2025-04-19 20:26:59 +0000, olcott said:

On 4/19/2025 4:20 AM, Bonita Montero wrote:

Am 19.04.2025 um 10:03 schrieb Mikko:
 

The part that comp.lang.c lacked a liar sounds credible.

 I believe Peter has a serious mental illness. As far as I know,
he has cancer, and I hope he gets the most out of his remaining
life instead of obsessing over this problem.

 I never go with credible, instead I try to stick with verified facts.
 int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
 It is a verified fact that DD correctly simulated
by HHH cannot possibly halt (terminate normally).

Verified facts should not be decorated with misleading words.
There is no other "DD correctly simulated by HHH" than the DD shown
above, and that DD halts (terminates normally).
That HHH cannot simulate DD to its normal termination is true but
that is not what the "verified fact" says.
--
Mikko