Liste des Groupes | Revenir à s logic |
On 3/11/2024 10:31 PM, Richard Damon wrote:Nope, read him again, not just skim and assume.On 3/11/24 7:52 PM, olcott wrote:H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy // Ĥ applied to ⟨Ĥ⟩ haltsOn 3/11/2024 9:32 PM, immibis wrote:\On 12/03/24 03:24, olcott wrote:>>Troll detected.>
>
Once we understand that either YES or NO is the right answer
Not for this decider/input question: Ĥ.H / ⟨Ĥ⟩ ⟨Ĥ⟩
For that decider/input question both YES and NO are the wrong answer.
The problem that you keeep on missing is that by the point we can ask this question, H and H^ are FULLY CODED, and thus we know their behavirs.
H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn // Ĥ applied to ⟨Ĥ⟩ does not halt
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Since you know that is false why lie?
⊢* specifies an infinite set of encodings.
Les messages affichés proviennent d'usenet.