Re: Can D simulated by H terminate normally? Message_ID Provided V2

On 5/20/2024 6:31 AM, immibis wrote:

On 20/05/24 05:11, Richard Damon wrote:

Nope. Make a claim, you need to prove it.

 You just made a claim. Prove that he needs to prove it.

I cannot prove verified facts to liars or to people having insufficient
knowledge of the semantics of the C programming language.
The halt status of the following C functions is entirely self-evident
to anyone having sufficient knowledge of the semantics of the C
programming language.
void Infinite_Recursion(u32 N)
{
   Infinite_Recursion(N);
}
int factorial(int n) // called with 5
{
   if (n >= 1)
     return n*factorial(n-1);
   else
     return 1;
}
void Infinite_Loop()
{
   HERE: goto HERE;
}
void This_Halts()
{
   return;
}
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer