Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2
 ---ignoring all other replies
Date: Sat, 15 Jun 2024 16:11:20 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v4kef8$2cg4$1@i2pn2.org>
References: <v45tec$4q15$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>
	<v4b50m$1f89t$5@dont-email.me> <v4c12r$3oop0$3@i2pn2.org>
	<v4cjl7$1o4b4$1@dont-email.me> <v4d991$3qbnc$1@i2pn2.org>
	<v4da12$1sioe$1@dont-email.me> <v4dbmf$3qbnc$3@i2pn2.org>
	<v4dcd6$1sioe$3@dont-email.me> <v4df0h$3qbnd$1@i2pn2.org>
	<v4dhf5$1tsdf$2@dont-email.me> <v4dja1$3qbnd$5@i2pn2.org>
	<v4djhf$1tsdf$6@dont-email.me> <v4dk7b$3qbnc$8@i2pn2.org>
	<v4dl3b$225kb$1@dont-email.me> <v4dn5u$3qbnd$8@i2pn2.org>
	<v4dop4$22o4a$2@dont-email.me> <v4dq07$3qbnc$12@i2pn2.org>
	<v4dqq0$2353n$1@dont-email.me> <v4el9m$3rsd6$3@i2pn2.org>
	<v4f3ec$2akmh$2@dont-email.me> <v4g65a$3tn6q$1@i2pn2.org>
	<v4k906$3gc4t$4@dont-email.me> <v4kaas$2218$14@i2pn2.org>
	<v4kamr$3gc4t$8@dont-email.me> <v4kb10$2218$15@i2pn2.org>
	<v4kdgf$3h3iu$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Jun 2024 16:11:20 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="78340"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2697
Lines: 18

Am Sat, 15 Jun 2024 10:54:54 -0500 schrieb olcott:
> On 6/15/2024 10:12 AM, Richard Damon wrote:
>> On 6/15/24 11:07 AM, olcott wrote:
>>> On 6/15/2024 10:00 AM, Richard Damon wrote:
>>>> On 6/15/24 10:37 AM, olcott wrote:
>>>>> On 6/13/2024 8:24 PM, Richard Damon wrote:
>>>>>> On 6/13/24 11:32 AM, olcott wrote:

>>> *Then do as I originally requested and provide ALL OF THE STEPS*
>> The mapping, for this H and D, is:
>> (D,D) -> 1
> I am asking for a mapping from the machine language finite string of the
> input to H(D,D) to each of the individual steps of the behavior of D(D).
D calls H, which by definition terminates. From its return value we fork
to either enter an endless loop or halt. Then H (which is not allowed to
simulate D if that doesn't halt) gives the result we just used to fork.

-- 
joes