Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Liar detector: Fred, Richard, Joes and Alan
Date: Fri, 5 Jul 2024 14:29:39 +0200
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <v68ovk$2n56v$6@dont-email.me>
References: <v644pn$29t4h$3@dont-email.me> <v645v1$29pag$3@dont-email.me>
 <v646v5$2agfo$1@dont-email.me>
 <f01c00463608385b18dba3b5a945f5007e9b3c9e@i2pn2.org>
 <v68odk$39dkv$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 05 Jul 2024 14:29:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7f7043dd29c12371d2605b4da2fa577c";
	logging-data="2856159"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19EJWYkgSA53v7QkgB6NTGj"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:VsOxPKms7hCNuFPLOagCIAi4EOQ=
Content-Language: en-GB
In-Reply-To: <v68odk$39dkv$6@dont-email.me>
Bytes: 3137

Op 05.jul.2024 om 14:20 schreef olcott:
> On 7/5/2024 4:49 AM, joes wrote:
>> 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.
> 
> Not if not aborted.

If you knew a little bit of programming, you would know that a program 
that is programmed to abort and stop, will abort and stop, if not aborted.
Dreaming of a program without abort is irrelevant, because HHH *does* abort.

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