Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
Date: Sun, 2 Jun 2024 11:00:16 +0300
Organization: -
Lines: 55
Message-ID: <v3h8qg$394r1$1@dont-email.me>
References: <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> <v3fpjd$2t7mj$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 02 Jun 2024 10:00:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dde2a4eeb938d66ddf3373d973876dcf";
	logging-data="3445601"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/0qO5ZsYglTcg9lxSTmOYm"
User-Agent: Unison/2.2
Cancel-Lock: sha1:uoTgmCY9Qt9/RIvTnsbrhb2PLTs=
Bytes: 3248

On 2024-06-01 18:34:22 +0000, olcott said:

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

Your "DD correctly simulated by pure function HH" is an attempt
to deceive. Otherwise you would just say "DD" because that is
what the phrase means.

-- 
Mikko