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

On 4/20/2025 2:49 AM, Mikko wrote:

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).
>

 Why lie?
 *Professor Hehner recognized this repeating process before I did*
   Problems with the Halting Problem
   Eric C.R. Hehner
   Department of Computer Science, University of Toronto
    From a programmer's point of view, if we apply an interpreter
   to a program text that includes a call to that same interpreter
   with that same text as argument, then we have an infinite loop.
   A halting program has some of the same character as an
   interpreter: It applies to texts through abstract interpretation.
    Unsurprisingly, if we apply a halting program to a program
   text that includes a call to that same halting program with
   that same text as argument, then we have an infinite loop.
   (Hehner:2011:15) https://www.cs.toronto.edu/~hehner/PHP.pdf
 

That HHH cannot simulate DD to its normal termination is true but
that is not what the "verified fact" says.
>