Re: D correctly simulated by H cannot possibly reach its own line 06 and halt

On 6/1/24 2:23 PM, olcott wrote:

On 6/1/2024 1:13 PM, joes wrote:

Am Thu, 30 May 2024 17:01:05 -0500 schrieb olcott:

On 5/30/2024 4:54 PM, joes wrote:

Am Thu, 30 May 2024 09:55:24 -0500 schrieb olcott:
>

Everyone with sufficient knowledge of C can easily determine that D
correctly emulated by any *pure function* H (using an x86 emulator)
cannot possibly reach its own simulated final state at line 06 and halt.

Yeah, of course not, if H doesn’t halt.

To actually understand my words (as in an actual honest dialogue)
you must pay careful attention to every single word. Maybe you
had no idea that *pure functions* must always halt.

That is more commonly called a terminating function. Pure refers to the
absence of side effects.
>

Or maybe you did not know that every computation that never reaches
its own final state *DOES NOT HALT* even if it stops running because
it is no longer simulated.

Exactly. Aborting a simulation makes it incorrect.
>

  void Infinite_Recursion(u32 N)
{
   Infinite_Recursion(N);
}
 If aborting a simulation makes it incorrect then simulated termination
analyzer HH(Infinite_Recursion, 5) would be required to remain stuck in
infinite execution.

Aborting a simulation means it doesn't tell you anything about the halting status of the input.
If you have already gotten enough from some other source, then you have the answer, but just aborting the simulation doesn't tell you anything.

 

Because this is a key piece of my life's work and my POD24 diagnosis
indicates that I am running out of time I intend to keep posting this
until I have three concurrences or one correct rebuttal.

I concur.
>