Liste des Groupes | Revenir à s logic |
On 3/8/2024 9:03 PM, Richard Damon wrote:And if it gives a WRONG answer, then H is just WRONG.On 3/8/24 6:34 PM, olcott wrote:Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ haltsOn 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 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.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 whatBut it needs to get the RIGHT answer to be correct.
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 getsBut you don't seem to understand that H^.H IS an instance of the computation of H, and as such, MUST deliver the "right" answer per the mapping that H is DEFINED to give.
the correct answer and Ĥ.H can provide some
answer then this question mark is resolved.
Les messages affichés proviennent d'usenet.