Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
Date: Fri, 5 Jul 2024 10:54:42 -0500
Organization: A noiseless patient Spider
Lines: 41
Message-ID: <v69502$3bh3f$1@dont-email.me>
References: <v644pn$29t4h$3@dont-email.me> <v645v1$29pag$3@dont-email.me>
 <v646v5$2agfo$1@dont-email.me> <v647p3$29pag$6@dont-email.me>
 <v6480h$2ape0$1@dont-email.me> <v648nk$29pag$8@dont-email.me>
 <v64as3$2bc8m$1@dont-email.me> <v64drn$29pag$10@dont-email.me>
 <v64e92$2bvgc$1@dont-email.me> <v65juc$2lui5$2@dont-email.me>
 <v665c9$2oun1$4@dont-email.me> <v66t0p$2n56v$1@dont-email.me>
 <v66t7p$2srk8$1@dont-email.me> <v66tql$2n56v$3@dont-email.me>
 <v66u56$2suut$1@dont-email.me> <v66v8i$2n56v$4@dont-email.me>
 <v67028$2t9el$1@dont-email.me> <v68b3f$2n56v$5@dont-email.me>
 <v68ocd$39dkv$5@dont-email.me> <v68pfo$2n56v$7@dont-email.me>
 <v68rnv$39tml$2@dont-email.me> <v68tvd$3ac9t$1@dont-email.me>
 <v68uj0$3ahel$1@dont-email.me> <v694k4$3bevk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 05 Jul 2024 17:54:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f325a973008a37eaa6ec545239278e3d";
	logging-data="3523695"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FQXk/tXS08OkjKACkPqd4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:X7A8obPFs763KQ3J3AFTYdswbx0=
Content-Language: en-US
In-Reply-To: <v694k4$3bevk$1@dont-email.me>
Bytes: 3289

On 7/5/2024 10:48 AM, Fred. Zwarts wrote:
> Op 05.jul.2024 om 16:05 schreef olcott:
>> On 7/5/2024 8:54 AM, Fred. Zwarts wrote:
>>>
>>> HHH cannot possibly correctly simulate itself.
>>>
>> LIAR! I give up on you.
>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
> 
> No need to come back, because you are unable to point to any error in my 
> reasoning. 

I conclusively proved that HHH is correctly simulating itself
simulating DDD and you simply freaking lie about it.

> Your replies are only irrelevant, or supporting my reasoning. 
> I showed that HHH cannot possibly simulate itself correctly and your 
> full trace supports this, as it shows that the simulating HHH is unable 
> to reach the 'ret' of the simulated HHH.
> 

*Unable to reach ret IS A FREAKING CORRECT FREAKING SIMULATION*
The machine code specifies that DDD simulated by HHH according
to the semantics of the x86 language cannot possibly reach the
ret instruction of DDD or its correctly simulated self.

_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]


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