Sujet : Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 09. Mar 2024, 06:41:24
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usgp9k$25ivo$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
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.
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.
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.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn