Liste des Groupes | Revenir à s logic |
On 9/03/24 22:34, olcott wrote:Simulating halt deciders must make sure that they themselvesOn 3/9/2024 3:17 PM, Richard Damon wrote:Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is stipulated to use the exact same objective criteria that H ⟨Ĥ⟩ uses.On 3/9/24 10:33 AM, olcott wrote:>*Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior*>
>
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
Specifications, not actual behavior until the existance of such an H is shown.
>
IF taken as actual behavior, then it is conditional on such an H existing.
>>>
Execution trace of Ĥ applied to ⟨Ĥ⟩
(a) Ĥ.q0 The input ⟨Ĥ⟩ is copied then transitions to Ĥ.H
(b) Ĥ.H applied ⟨Ĥ⟩ ⟨Ĥ⟩ (input and copy) simulates ⟨Ĥ⟩ applied to ⟨Ĥ⟩
(c) which begins at its own simulated ⟨Ĥ.q0⟩ to repeat the process
*This proves that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must abort its simulation*
It NEEDS to in order to meet its specification
>
It DOESN'T unless its algorithm says it does,
>
If it just fails to answer, then it has failed to be a correct Halt Decider.
>
The fact that you reach this conflict in actions, is the reason Halt Deciding is uncomputable.
>>>
*This is a verified fact*
When simulating halt deciders always report on the behavior of
their simulated input from their own POV then when Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩
transitions to Ĥ.Hqn it is correct from its own POV.
In other words, you are admitting to changing the question, and thus LYING that you are working on the actual original problem.
This must just be over your head. It is very very difficult.
>
What criteria would you use so that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ knows what
wrong answer to provide?
>
Les messages affichés proviennent d'usenet.