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

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.

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.

--
joes