Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Fred. Zwarts" Newsgroups: comp.theory,comp.ai.philosophy Subject: Re: Any honest person that knows the x86 language can see... Date: Mon, 29 Jul 2024 21:38:57 +0200 Organization: A noiseless patient Spider Lines: 33 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 29 Jul 2024 21:38:59 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c0e8e7f3b0f9c9c9074b1b9f6672dea4"; logging-data="653376"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18pNTbgUSxVt3gOpCKekXMa" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:wtfiskuKKUCTP1Tr/lLQ5DmUhNY= Content-Language: en-GB In-Reply-To: Bytes: 2366 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.