Path: ...!news.misty.com!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
Date: Sat, 15 Jun 2024 11:57:39 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v4jvjj$222a$3@i2pn2.org>
References: <v4j0h2$39gh7$3@dont-email.me> <v4j2ga$kqh$11@i2pn2.org>
	<v4j36t$3a0ot$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Jun 2024 11:57:39 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="67658"; 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: 2360
Lines: 30

Am Fri, 14 Jun 2024 22:53:01 -0500 schrieb olcott:
> On 6/14/2024 10:40 PM, Richard Damon wrote:
>> On 6/14/24 11:07 PM, olcott wrote:
>>> On 6/13/2024 8:24 PM, Richard Damon wrote:
>>>  > On 6/13/24 11:32 AM, olcott wrote:

>> H, being a Halting Decider (or are you lying about that) has exactly
>> one question it *IS* being asked about every input it s given, that
>> that is "Will the execution of the program represented by your input
>> Halt when run?"
> Yes you are very good at memorizing textbooks now prove that the input
> to H(D,D) can be transformed into the question Does D(D) halt?
H answers the question "Does my input halt?", and the input is D(D). QED.

>  >>  > Why? I don't claim it can.
> Then H is NOT BEING ASKED ABOUT THE BEHAVIOR OF D(D).
> I chopped out the [reasonable disproof]:
I chopped out the refusal to answer.

Am Fri, 14 Jun 2024 23:40:58 -0400 schrieb Richard Damon:
> Since, it has been shown that you H(D,D) will return 0, since you claim
> that is the correct answer, that means that D(D) will halt, and thus,
> the item of the mapping that you claim does not exist is simply that
> D,D -> Halting.
> And if you want to claim that you can make THAT H just return 1, no, you
> can't because THAT H is a fully defined program, and its behavior is
> fully determined, and you already said that its behavior for this input
> was to return 0

-- 
joes