Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory
Subject: Re: D correctly simulated by H cannot possibly reach its own line 06
 and halt
Date: Sat, 1 Jun 2024 18:28:15 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v3fp7v$2o13h$4@i2pn2.org>
References: <v3a40t$1o2ef$1@dont-email.me> <v3asj2$2ihjj$2@i2pn2.org>
	<v3asv1$1s60g$1@dont-email.me> <v3bvg7$24rgd$1@dont-email.me>
	<v3cml5$28tmt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Jun 2024 18:28:15 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2884721"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2856
Lines: 45

Am Fri, 31 May 2024 09:25:40 -0500 schrieb olcott:
> On 5/31/2024 2:50 AM, Fred. Zwarts wrote:
>> Op 31.mei.2024 om 00:01 schreef olcott:
>>> On 5/30/2024 4:54 PM, joes wrote:
>>>> Am Thu, 30 May 2024 09:55:24 -0500 schrieb olcott:
>>>>
>>>>> typedef int (*ptr)();  // ptr is pointer to int function in C
>>>>> 00       int H(ptr p, ptr i);
>>>>> 01       int D(ptr p)
>>>>> 02       {
>>>>> 03         int Halt_Status = H(p, p);
>>>>> 04         if (Halt_Status)
>>>>> 05           HERE: goto HERE;
>>>>> 06         return Halt_Status;
>>>>> 07       }
>>>>> 08
>>>>> 09       int main()
>>>>> 10       {
>>>>> 11         H(D,D);
>>>>> 12         return 0;
>>>>> 13       }

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

>>> 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. 
>> Since the claim is that H is also a computation, it holds for H, as 
>> well. That means that H *DOES NOT HALT* even if it stops running because 
>> it is no longer simulated.
> *pure function H definitely halts you are confused*
The fuck? If H halts, then D can definitely reach past line 4.

> DD correctly simulated by pure function HH cannot possibly reach
> its own final state at line 06 in any finite number of steps of
> correct simulation.
> 
> Pure function H reaches its own final state after the finite number
> of steps of correct simulation, thus halts.

-- 
joes