Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: D correctly simulated by H proved for THREE YEARS --- rewritten
Date: Tue, 11 Jun 2024 22:32:35 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v4b1c3$3nf9n$3@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Jun 2024 02:32:35 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3915063"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v4arp0$1a7uo$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 2047
Lines: 27

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.

It will transform the input string into the behavior of the directly 
executed machine.

Your H just needs to figure out what that behavor would be.

It CAN be done for many (but not all) inputs. The not-all is what makes 
the problem uncomputable, which seems to put it outside your ability to 
understand it.