Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Liar detector: Fred, Richard, Joes and Alan
Date: Fri, 5 Jul 2024 09:49:58 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <f01c00463608385b18dba3b5a945f5007e9b3c9e@i2pn2.org>
References: <v644pn$29t4h$3@dont-email.me> <v645v1$29pag$3@dont-email.me>
	<v646v5$2agfo$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 5 Jul 2024 09:49:58 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2224012"; 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: 2558
Lines: 36

Am Wed, 03 Jul 2024 13:57:40 -0500 schrieb olcott:
> On 7/3/2024 1:40 PM, Fred. Zwarts wrote:
>> Op 03.jul.2024 om 20:20 schreef olcott:

>>> DDD correctly emulated by any element of the infinite set of every
>>> pure function HHH cannot possibly reach its own ret instruction and
>>> halt. That HHH aborts its emulation at some point or never aborts its
>>> emulation cannot possibly change this.
>>>
>> Ad hominem attacks always try to hide a lack of argumentation.
>> It has been proved that HHH cannot possibly correctly simulate itself.
> 
> That is false and you know it. That might not be a flat out lie as it is
> an sloppy use of language.
> 
> HHH does correctly simulate itself simulating DDD one time, then it
> stops correctly simulating itself because this criteria is met:
>      HHH correctly simulates its input DDD until HHH correctly
>      determines that its simulated DDD would never stop running unless
>      aborted
But it would stop running.

>> So, the above code shows that the incorrect simulation of DDD by HHH is
>> unable to reach the 'ret' instruction, because it either never aborts,
>> or aborts one cycle too soon, when the simulated HHH is only one cycle
>> from its own abort and return and then the return of DDD would follow.
> The criteria is:
>      HHH simulates its input DDD until HHH
>      determines that its simulated DDD would never stop running unless
>      aborted
> Richard always lies about this by making sure that he ever sees the word
> UNTIL.


-- 
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.