Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Liar detector: Petr Olcott --- Ben's agreement
Date: Sat, 13 Jul 2024 09:15:56 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <4cfc4fd733c205bfb6a8218eea513b3cb9344718@i2pn2.org>
References: <v644pn$29t4h$3@dont-email.me> <v68uj0$3ahel$1@dont-email.me>
 <v694k4$3bevk$1@dont-email.me> <v69502$3bh3f$1@dont-email.me>
 <v6b1k4$3odj5$1@dont-email.me> <v6bf7r$3qiio$2@dont-email.me>
 <v6bm5v$3rj8n$1@dont-email.me> <v6bmoe$3ri0l$2@dont-email.me>
 <v6bnt2$3rj8n$3@dont-email.me> <v6brfj$3skuk$2@dont-email.me>
 <v6c3vh$3ttem$1@dont-email.me> <v6c539$3u2mj$1@dont-email.me>
 <v6dda0$7s8u$1@dont-email.me> <v6e67v$bbcb$4@dont-email.me>
 <v6gss2$t87a$1@dont-email.me> <v6gv65$to0m$1@dont-email.me>
 <v6h2li$ud7p$1@dont-email.me> <v6h2rm$ue7s$1@dont-email.me>
 <v6h3cu$ud7p$2@dont-email.me> <v6h83q$vag9$1@dont-email.me>
 <v6ikgb$19f5g$1@dont-email.me> <v6jgjo$1ctoi$4@dont-email.me>
 <v6lckp$1qi9e$1@dont-email.me> <v6m2qq$1tj30$6@dont-email.me>
 <60a1c2490e9bd9a5478fd173a20ed64d5eb158f9@i2pn2.org>
 <v6nvn8$2bn6q$1@dont-email.me> <v6oqti$2fuva$7@dont-email.me>
 <v6qn6k$2ubkt$1@dont-email.me> <v6r9q1$30qtt$5@dont-email.me>
 <v6tbge$3gegs$1@dont-email.me> <v6tr46$3imib$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 13 Jul 2024 13:15:56 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3137774"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v6tr46$3imib$6@dont-email.me>
Content-Language: en-US
Bytes: 3621
Lines: 44

On 7/13/24 8:15 AM, olcott wrote:
> On 7/13/2024 2:48 AM, Mikko wrote:
>> On 2024-07-12 13:07:13 +0000, olcott said:
>>
>>> On 7/12/2024 2:49 AM, Mikko wrote:
>>>> On 2024-07-11 14:40:50 +0000, olcott said:
>>>>>
>>>>> It is a hierarchy of prerequisites of knowledge.
>>>>> Before anyone can understand a simulating termination
>>>>> analyzer based on an x86 emulator they must understand
>>>>> (1) x86 emulation
>>>>> (2) Termination Analysis.
>>>>
>>>> The order should be:
>>>> (1) termination analysis and termination analyzer,
>>>> (2) simulating termination analyzer,
>>>> (3) x86,
>>>> (4) x86 emulation,
>>>> (5) simulating termination analyzer based on an x86 emulator.
>>>>
>>>
>>> *That order has proven to not work*
>>> People are getting stuck on x86 emulation.
>>
>> In that case it is likely that no order that contains x86 emulation at
>> any point will not work.
>>
> 
> The issue with this is that people believe that they
> can disagree with the x86 language. That is the same
> as disagreeing with arithmetic, not allowed.
> 

No, you think that the x86 language allows a partial emulation to be 
considered a correct emulation of the whole program instead of just a 
partial emulation of it.

You also don't seem to understand that changing the code being emulated 
(that is the unlisted HHH, that must be part of the emulated code) 
changes the behavior of the emulation and of the actual program.

Behavior isn't really defined for your "infinite set" of HHH/DDD, it is 
defined for each individual HHH/DDD pair, and all of the DDD that use an 
HHH that return, will themselves return even though their HHH aborts its 
emulation of that DDD before it gets there.