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

On 6/14/2024 3:38 AM, joes wrote:

Am Thu, 13 Jun 2024 22:14:52 -0500 schrieb olcott:

On 6/13/2024 10:04 PM, Richard Damon wrote:

On 6/13/24 9:39 PM, olcott wrote:

On 6/13/2024 8:24 PM, Richard Damon wrote:

On 6/13/24 11:32 AM, olcott wrote:

>
It is contingent upon you to show the exact steps of how H computes
the mapping from the x86 machine language finite string input to
H(D,D) using the finite string transformation rules specified by the
semantics of the x86 programming language that reaches the behavior
of the directly executed D(D)
>

Why? I don't claim it can.
>

That means that H cannot even be asked the question:
"Does D halt on its input?"

>
WHy not? After all, H does what it does, the PERSON we ask is the
programmer.
>

*When H and D have a pathological relationship to each other*
There is no way to encode any H such that it can be asked: Does D(D)
halt?

 >

That is the question that H answers for every other input.
>

For every other input M that does not have a pathological
relationship between M and H the direct execution of M(M)
has the same behavior as M correctly simulated by H.
*I just wrote this code to verify it*
HH1(DD,DD) reports on the behavior of DD(DD).

You must see this from the POV of H or you won't get it.
H cannot read your theory of computation textbooks, it only knows what
it directly sees, its actual input.

And it doesn't need to know more, the behaviour of D is completely
specified by its transition table and input (which happens to be itself).
 

This is a different thing than the thing I have been talking about.
It is impossible to even ask H(D,D) about the behavior of D(D)
because of the pathological relationship that H has to D.
The algorithm for H has been rewritten since three years ago, H(D,D)
is now called HH(DD,DD). H1(D,D) does correctly report on the behavior of D(D). H(D,D) cannot correctly report on the behavior of D(D) because
it is not and cannot even be asked about that behavior.

If there is no possible way for H to transform its input into the
behavior of D(D) then H cannot be asked about the behavior of D(D).

It only means it doesn't give the right answer, when given D(D) as input.
It was specified to answer for all machines.
 Also I'm not He.
 

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