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

On 5/20/24 11:23 AM, olcott wrote:

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.

Since it is an UTTER LIE that we do not have a sufficient knowledge of the semantic of the C programming langage.
It is clear the issue is that YOU have an insufficient knowledge of logic to be able to actually form a real proof of anything of imporanace.
I seem to remember you giving up on your Turing Machine lessons when you were asked to show a Turing Machie for a simple decision problem. That reveals you logical intelegence.

 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.

SO, STRAWMEN. The fact that you resort to them just proves your incompentance.

 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;
}