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.
 

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer