Path: ...!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,comp.ai.philosophy
Subject: Re: Any honest person that knows the x86 language can see...
Date: Tue, 30 Jul 2024 09:59:49 +0200
Organization: A noiseless patient Spider
Lines: 74
Message-ID: <v8a6hn$uejg$1@dont-email.me>
References: <v887np$gl15$1@dont-email.me> <v88ptq$ju20$1@dont-email.me>
 <v88qtk$k3pj$1@dont-email.me> <v88r4i$ju20$6@dont-email.me>
 <v88rn5$kcq0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 30 Jul 2024 09:59:51 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a40890b8ee07f8c0ea610e1bb666f251";
	logging-data="998000"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+TctUZ3hBhZfDsHQPIRxFt"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:58Hm00z0QZxkHofmnhU8UySAC0s=
Content-Language: en-GB
In-Reply-To: <v88rn5$kcq0$1@dont-email.me>
Bytes: 3628

Op 29.jul.2024 om 21:48 schreef olcott:
> On 7/29/2024 2:38 PM, Fred. Zwarts wrote:
>> Op 29.jul.2024 om 21:35 schreef olcott:
>>> On 7/29/2024 2:18 PM, Fred. Zwarts wrote:
>>>> Op 29.jul.2024 om 16:07 schreef olcott:
>>>>> HHH(Infinite_Recursion) and HHH(DDD) show the same non-halting
>>>>> behavior pattern in their derived execution traces of their
>>>>> inputs.
>>>>>
>>>>> Correct emulation is defined as emulating the machine language
>>>>> input according to the x86 semantics specified by this input.
>>>>>
>>>>> For DDD correctly emulated by HHH this includes HHH emulating
>>>>> itself emulating DDD according to the x86 semantics of itself.
>>>>>
>>>>> HHH(DDD) shows the exact same execution trace behavior pattern
>>>>> as HHH(Infinite_Recursion) where 3-4 instructions are repeated
>>>>> with no conditional branch instructions in this trace that could
>>>>> prevent them from endlessly repeating.
>>>>>
>>>>> void Infinite_Recursion()
>>>>> {
>>>>>    Infinite_Recursion();
>>>>> }
>>>>
>>>> No, the HHH that aborts after N cycles has a similar behaviour as
>>>>
>>>
>>> So you don't even know that infinite recursion is non-halting behavior.
>>> You can go back and try again on this same post I am not looking at
>>> anything else that you say.
>>
>> Non halting is only in your dreams. HHH that aborts halts. Dreams are 
>> no substitute for logic.
>>
> 
> void Infinite_Recursion()
> {
>    Infinite_Recursion();
> }
> 
> In other words you are confirming that you
> honestly believe the above function halts?

No, as usual you are twisting my words. Further Infinite_Recursion is 
irrelevant, because we are talking about a HHH that aborts, so its 
simulation looks more like:

void Finite_Recursion (int N) {
   if (N > 0) Finite_Recursion (N - 1);
}

> 
> Do you understand that Halts means terminates normally
> on its own without being forced to stop running?
> 
> void Infinite_Loop()
> {
>    HERE: goto HERE;
> }

Irrelevant text ignored. HHH, when simulating itself, is simulating a 
program that aborts after two cycles of recursion. So, when HHH is 
simulated, no abort is needed.

Do you understand that Finite_Recursion halts after N recursions, 
without a need to abort it?

> 
> Do you understand that yanking the power cord out of
> the wall does not cause Infinite_Loop() to halt?
> 
Do you understand that Finite_Recursion halts, even when the power cord 
is not yanked out?