Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.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 13:34:22 -0500
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <v3fpjd$2t7mj$3@dont-email.me>
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> <v3fp7v$2o13h$4@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 01 Jun 2024 20:34:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5617c6a52e82e3edb2307f1199229213";
	logging-data="3055315"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19qrlDzDuBBkUsosXZiv660"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Os1K9Qy/voFfrfoC0Fk1fR109ik=
In-Reply-To: <v3fp7v$2o13h$4@i2pn2.org>
Content-Language: en-US
Bytes: 3478

On 6/1/2024 1:28 PM, joes wrote:
> 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.
> 

*Trying to get away with changing the subject away from this*
*is known as the strawman deception*

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.

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

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer