Re: DDD simulated by HHH cannot possibly halt (Halting Problem)

Liste des GroupesRevenir à cl c++ 
Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 04. Apr 2025, 02:59:43
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <1645f6b2cfe0442e89650571ed26dd65d8253691@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
On 4/3/25 9:27 PM, olcott wrote:
void DDD()
{
    HHH(DDD);
    return;
}
 Do you really think that anyone knowing the C
programming language is too stupid to see that
DDD simulated by HHH cannot possibly return?
But if HHH doesn't do a complete emulation, it doesn't show that its input is non-halting, and if it does, it isn't the decider you claim, and thus it can't.

 01   int DD(int (*x)())
02   {
03     int Halt_Status = HH(x, x);
04     if (Halt_Status)
05         HERE: goto HERE;
06     return Halt_Status;
07   }
08
09   int main()
10   {
11     Output("Input_Halts = ", HH(DD,DD));
12   }
 DD simulated by HHH has the same behavior
as DDD simulated by HHH.
But HHH doesn't define the behavior of DDD, since it doesn't do a complete (and thus correct) emulation of its input.
You are just continuing to prove that you don't know what you are talking about, but are just a pathological liar that doesn't care if he is talking truth, or just lies.

 CAR T infusion tomorrow.
(drastic cancer treatment)
 
Which might be your cause of being utterly stupid and a liar, but it seems your stupidity goes back quite a while.
Sorry, but all you are doing is showing how broken your logic is, being based on the lies you make up about the meaning of terms that are well definied in the field.

Date Sujet#  Auteur
25 May 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal