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: Re: D correctly simulated by H proved for THREE YEARS --- rewritten
Date: Tue, 11 Jun 2024 22:34:45 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <v4b50m$1f89t$5@dont-email.me>
References: <v45tec$4q15$1@dont-email.me> <v46na7$3ifov$4@i2pn2.org>
 <v48be9$rgsh$1@dont-email.me> <v48gh6$3kcoe$4@i2pn2.org>
 <v48jv2$se9c$1@dont-email.me> <v49dge$3kcoe$5@i2pn2.org>
 <v4a0hs$157ic$3@dont-email.me> <v4ak5o$3kcoe$6@i2pn2.org>
 <v4am8r$19edk$1@dont-email.me> <v4apjs$19rnv$1@dont-email.me>
 <v4arp0$1a7uo$1@dont-email.me> <v4b1c3$3nf9n$3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Jun 2024 05:34:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6f170c39f5487c8533188545300f883a";
	logging-data="1548605"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+1CwCCsCp6tHwJP5ibbHNO"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7AjuxIjYljFilstDNp/K5fmMaCc=
Content-Language: en-US
In-Reply-To: <v4b1c3$3nf9n$3@i2pn2.org>
Bytes: 2844

On 6/11/2024 9:32 PM, Richard Damon wrote:
> On 6/11/24 8:57 PM, olcott wrote:
>> On 6/11/2024 7:20 PM, Python wrote:
>>> Le 12/06/2024 à 01:23, olcott a écrit :
>>> ...
>>>> It turns out that by the generic definition of a decider
>>>> what the directly executed D(D) does is not any of the
>>>> business of H.
>>>
>>> LOL
>>>
>>
>> There are no finite string transformations from the input
>> to H to the behavior of D(D), thus the behavior of D(D)
>> is irrelevant.
>>
> 
> Of course there is.
> 
> That is exactly what the definition of a UTM is.
> 

Unless we are as concrete as the x86 language truth slips
though the cracks of vagueness.

Show each step of DDD correctly simulated by HH such that
DDD terminates normally.

typedef void (*ptr)();
u32 HH(ptr P, ptr I);

void DDD(int (*x)())
{
   HH(x, x);
}

int main()
{
   HH(DDD,DDD);
}

_DDD()
[00001df3] 55               push ebp
[00001df4] 8bec             mov ebp,esp
[00001df6] 8b4508           mov eax,[ebp+08]
[00001df9] 50               push eax
[00001dfa] 8b4d08           mov ecx,[ebp+08]
[00001dfd] 51               push ecx
[00001dfe] e830f5ffff       call 00001333
[00001e03] 83c408           add esp,+08
[00001e06] 5d               pop ebp
[00001e07] c3               ret
Size in bytes:(0021) [00001e07]


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