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,sci.logic
Subject: a complete emulation of this input could be done --- Liar
Date: Tue, 9 Jul 2024 22:18:31 -0500
Organization: A noiseless patient Spider
Lines: 64
Message-ID: <v6kui7$1o833$2@dont-email.me>
References: <v644pn$29t4h$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> <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>
 <v6iu0s$1acpg$1@dont-email.me> <v6jg5j$1ctoi$3@dont-email.me>
 <b41a3dfce421d48635e133a0ef8824fc438dde36@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Jul 2024 05:18:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5";
	logging-data="1843299"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19olFULEmAWH8iL2+zLwY+2"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:3+8ZhPlUSLPcmlXPoIeXDokeTFQ=
In-Reply-To: <b41a3dfce421d48635e133a0ef8824fc438dde36@i2pn2.org>
Content-Language: en-US
Bytes: 4017

On 7/9/2024 9:51 PM, Richard Damon wrote:
> On 7/9/24 10:06 AM, olcott wrote:
>> On 7/9/2024 3:56 AM, Fred. Zwarts wrote:
>>> Op 08.jul.2024 om 19:36 schreef olcott:
>>>> On 7/8/2024 11:16 AM, Fred. Zwarts wrote:
>>>>> You believe that two equals infinity. 
>>>>
>>>> void Infinite_Loop()
>>>> {
>>>>    HERE: goto HERE;
>>>> }
>>>>
>>>> void Infinite_Recursion()
>>>> {
>>>>    Infinite_Recursion();
>>>> }
>>>>
>>>> void DDD()
>>>> {
>>>>    HHH(DDD);
>>>> }
>>>>
>>>> Two cycles is enough to correctly determine that none
>>>> of the above functions correctly emulated by HHH can
>>>> possibly halt.
>>>>
>>>> That you don't see this is ignorance or deception.
>>>>
>>>
>>> The first two irrelevant examples cannot halt, but they differ 
>>> fundamentally from DDD, because DDD, like Finite_Recursion, halts 
>>> after N repetitions.
>>>
>>
>> *I have never explained this issue to Ben this clearly before*
>> Ben seems to believe that HHH must report that it need not
>> abort the emulation of DDD because AFTER HHH has already
>> aborted this emulation DDD does not need to be aborted.
>>
> 
> Because it does, since this HHH DOES abort its emulation, it turns out 
> that a complete emulation of this input could be done, which is the 
> definition of not needing to abort the emulation.
> 

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)

DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ steps of DDD can't make it
past the above line of code no matter what.

[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

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