| Deutsch English Français Italiano |
|
<v3h8qg$394r1$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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