Liste des Groupes | Revenir à s logic |
On 3/7/2024 1:59 PM, Richard Damon wrote:Note quite, it is whatever the algorithm for H generates.On 3/6/24 11:11 PM, olcott wrote:The Linz second ⊢* enables H to compute any damnOn 3/7/2024 12:37 AM, Richard Damon wrote:>On 3/6/24 10:17 PM, olcott wrote:>>Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts>
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
>
The design of Olcott Machines makes quite easy for Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩
to get its abort criteria.
>
Which doesn't match the Halting Problem requirements,
It does match the Halting Problem requirements, when
they are implemented indirectly as "abort criteria".
>
Which is a different criteria, so you are just admitting that you are using a strawman desception and thus INTENTIONALLY LYING.
>
Somehow you think lies are ok if they help you prove your false statements.
thing as long as this ends up computing halting.
Les messages affichés proviennent d'usenet.