Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn

On 3/8/2024 10:52 PM, Richard Damon wrote:

On 3/8/24 8:41 PM, olcott wrote:

On 3/8/2024 10:28 PM, Richard Damon wrote:

On 3/8/24 8:05 PM, olcott wrote:

On 3/8/2024 9:48 PM, Richard Damon wrote:

On 3/8/24 7:14 PM, olcott wrote:

On 3/8/2024 9:03 PM, Richard Damon wrote:

On 3/8/24 6:34 PM, olcott wrote:

On 3/8/2024 8:24 PM, Richard Damon wrote:

The Mapping describes the answer that we want for ALL possible inputs. It becomes the specification of the problem.
>

>
You still can't understand how computing the mapping
from all inputs to final state Ĥ.Hqn or non final state
Ĥ.Hqy on the basis of the indirect criteria also causes
H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> to correctly compute halting.
>

>
Because your "indirect Criteria" map differs from the DEFINED DIRECT Criteria map.
>

Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
>
The indirect criteria provides Ĥ.H the basis for
which wrong answer it must return and provides
H with the basis to return the correct halt status.

>
And if it gives a WRONG answer, then H is just WRONG.
>

>
So far everyone in world the has no idea what
basis Ĥ.H could use to determine its wrong answer.
*They leave it wide open with a question mark*

>
But it needs to get the RIGHT answer to be correct.

>
*Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> must have some basis for its wrong answer*
*Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> must have some basis for its wrong answer*
*Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> must have some basis for its wrong answer*
>
>

>
But if it is the wrong answer, it is wrong.
>
Why don't you understand that?
>

>
It is only wrong for the input and not the external decider.

 It is WRONG.
 

A wrong answer that doesn't count.
Ĥ only proves that an otherwise correct decider
can be changed so that it functions incorrectly.
It does not show that H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer.

DEFINITIOBN.
 

>
The criteria is very very special in the the same criteria that lets
the input derive some answer lets the external decider derive the
correct answer.

 No, the criteria for H to be a Halt Decider is PRECISELY Defined.
 IF H gives the wrong answer, ANYWHERE, if FAILS to be a Halt Decider.

What is you basis for Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ to provide some answer?

 

>
When each H determines the halt status of its input from its own point
of view then the external one corresponds to the actual behavior of the
input when it is directly executed.
>

 But it isn't to answer "From its own point view". It is to answer according to the REQUIREMENT to compute the MAPPING, which is OBJECTIVE.
 You don't get to convert the OBJECTIVE standard to a SUBJECTIVE standard, that is just a LIE.
 They ALL must be correct, not just the top level.

Ĥ only proves that an otherwise correct decider
can be changed so that it functions incorrectly.
It does not show that H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer.

 You are just proving you don't understand the definition of a COMPUTATION.
 That is your downfall, you just don't know the rules of what you are talking about, and think it ok to LIE about what you are doing.

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