Re: H(D,D) cannot even be asked about the behavior of D(D) V2

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