Path: ...!weretis.net!feeder8.news.weretis.net!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: Liar detector: Fred, Richard, Joes and Alan
Date: Fri, 5 Jul 2024 07:20:04 -0500
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <v68odk$39dkv$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 05 Jul 2024 14:20:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f325a973008a37eaa6ec545239278e3d";
	logging-data="3454623"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/jeYxsL5v2hEfzSXd958jR"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+q758dboU9zJNfXjhjuN2oPkr9k=
Content-Language: en-US
In-Reply-To: <f01c00463608385b18dba3b5a945f5007e9b3c9e@i2pn2.org>
Bytes: 2936

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.

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

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