Liste des Groupes | Revenir à s logic |
On 3/9/2024 3:50 PM, immibis wrote:Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is stipulated to use the exact same objective criteria that H ⟨Ĥ⟩ uses.On 9/03/24 22:34, olcott wrote:Simulating halt deciders must make sure that they themselves>>
What criteria would you use so that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ knows what
wrong answer to provide?
>
Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is stipulated to use the exact same objective criteria that H ⟨Ĥ⟩ uses.
do not get stuck in infinite execution. This means that they
must abort every simulation that cannot possibly otherwise halt.
This requires Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ to abort its simulation and does not
require H ⟨Ĥ⟩ ⟨Ĥ⟩ to abort its simulation when Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ aborts
its simulation.
Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ does simulate itself in recursive simulation H ⟨Ĥ⟩ ⟨Ĥ⟩
does not simulate itself in recursive simulation.
Les messages affichés proviennent d'usenet.