Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---
Date: Tue, 11 Mar 2025 12:19:10 +0200
Organization: -
Lines: 41
Message-ID: <vqp2mu$1tsp7$1@dont-email.me>
References: <vq5qqc$1j128$2@dont-email.me> <vq9lvn$2ei4j$3@dont-email.me> <4453bc0c1141c540852ea2223a7fedefc93f564c@i2pn2.org> <vqadoh$2ivg7$2@dont-email.me> <vqae74$2ivcn$1@dont-email.me> <vqag6q$2jief$1@dont-email.me> <vqagb7$2ivcn$3@dont-email.me> <vqakhi$2jief$3@dont-email.me> <vqalvr$2ivcn$5@dont-email.me> <vqaq2s$2lgq7$2@dont-email.me> <vqasm4$2lue4$1@dont-email.me> <vqb43k$2mueq$1@dont-email.me> <vqb4ub$2lue4$3@dont-email.me> <vqb683$2mueq$2@dont-email.me> <vqb6f4$2lue4$4@dont-email.me> <vqb6qr$2mueq$3@dont-email.me> <27b6da57f540cd39d2918411d8c94789678e3f45@i2pn2.org> <vqcvu3$34c3r$5@dont-email.me> <24c66a3611456f6a6969dc132fd8a227b26cbcbd@i2pn2.org> <vqdlqp$371bi$6@dont-email.me> <vqeceq$3epcg$1@dont-email.me> <vqf2bp$3j68u$4@dont-email.me> <vqh19v$2mh0$1@dont-email.me> <vqhj3n$5r7r$3@dont-email.me> <vqjnff$lo7u$1@dont-email.me> <vqk4b5$o4oh$2@dont-email.me> <vqm9m3$18vjq$1@dont-email.me> <vqmqg3$1c5lp$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 11 Mar 2025 11:19:10 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ac66f5fd211d01a7df4319119304e545";
	logging-data="2028327"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18nU/VCs4iLrcJPTvw8azcX"
User-Agent: Unison/2.2
Cancel-Lock: sha1:PWYSEIZoJLn45C2MmTtsffD3S2s=
Bytes: 2849

On 2025-03-10 13:46:43 +0000, olcott said:

> On 3/10/2025 3:59 AM, Mikko wrote:
>> On 2025-03-09 13:16:20 +0000, olcott said:>>
>>> When we assume that HHH emulates N steps of DD then
>> 
>> HHH does not present that assumption, which is therefore irrelevant
>> to the fact that https://github.com/plolcott/x86utm/blob/master/Halt7.c
>> does not prove anything.
> 
> typedef void (*ptr)();
> int HHH(ptr P);
> 
> int DD()
> {
>    int Halt_Status = HHH(DD);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> int main()
> {
>    HHH(DD);
> }
> 
> DD correctly emulated by HHH cannot possibly reach
> its own "retrun" instruction and terminate normally
> because DD calls HHH(DD) in recursive emulation.

That is not written on https://github.com/plolcott/x86utm/blob/master/Halt7.c
so not relevant.

> Perhaps you are not a competent programmer.

Millions of people use or have used devices that contain programs I have
made or improved.

-- 
Mikko