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, 05:14:34
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usgk6q$24sk4$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
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.
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*
When we hypothesize a basis such that H gets
the correct answer and Ĥ.H can provide some
answer then this question mark is resolved.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer