Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules

Am Wed, 12 Jun 2024 18:53:10 -0500 schrieb olcott:

On 6/12/2024 6:41 PM, Richard Damon wrote:

On 6/12/24 7:12 PM, olcott wrote:

On 6/12/2024 5:59 PM, Richard Damon wrote:

On 6/12/24 12:50 PM, olcott wrote:

On 6/12/2024 6:33 AM, Richard Damon wrote:

On 6/11/24 11:34 PM, olcott wrote:

On 6/11/2024 9:32 PM, Richard Damon wrote:

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.

WTF. It must decide whether D(D) halts.

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.

I.e. a simulator.

Show each step of DDD correctly simulated by HH such that DDD
terminates normally.

WHy? I never claimed that to be true.
The lack of finding a couter example doesn't prove that no counter
example exists, it might just not be discovered.

The actual behavior of the input to H(D,D) is the truthmaker for
halt decider H.

Which is DEFINED to be the behavior of the program described by the
input when directly run.

*If that was true then you could show ALL OF THE DETAILED STEPS*
*of the mapping that H(D,D) computes to derive that behavior*

NO, because I never said that H COULD do that computation. That is
whythe question is DOES THERE EXIST a machine that can do it.

Very right

There are no finite string transformation rules that H(D,D)
can use to transform its finite string input into the behavior that you
expect.

That's why halt deciders are impossible.

Halt Deciders are only allowed to report on the behavior that they can
map their finite string input to.

And that behaviour is specified to match that of the input, or the
simulation is wrong.

You are finally admitting that you are expecting H to report on
something that it cannot see and not report on that it does see.

That is why it cannot give the right answer.

--
joes