Liste des Groupes | Revenir à s logic |
On 3/16/2024 2:57 PM, immibis wrote:Every biggest number N is contradicted as the biggest number.On 16/03/24 19:53, olcott wrote:Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ haltsIt is not the case that Ĥ.H or Carol are prevented from>
answering by being gagged as you suggest.
>
It is that every answer they do provide is contradicted
They only provide one answer.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
Every Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ that provides any answer is contradicted.
Les messages affichés proviennent d'usenet.