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

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*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer