Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: D correctly simulated by H cannot possibly reach its own line 06
 and halt
Date: Sat, 1 Jun 2024 16:29:23 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3g0b3$2n53n$16@i2pn2.org>
References: <v3a40t$1o2ef$1@dont-email.me> <v3asj2$2ihjj$2@i2pn2.org>
 <v3asv1$1s60g$1@dont-email.me> <v3fobk$2o13h$3@i2pn2.org>
 <v3fouf$2t7mj$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Jun 2024 20:29:24 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2856055"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v3fouf$2t7mj$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 2864
Lines: 46

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.
>>
>