Liste des Groupes | Revenir à s logic |
On 3/11/24 4:00 PM, olcott wrote:An an abstract concept that humans can talk about thatOn 3/11/2024 12:13 PM, Richard Damon wrote:OF course there is.On 3/11/24 6:19 AM, olcott wrote:>On 3/11/2024 1:02 AM, Richard Damon wrote:>On 3/10/24 10:44 PM, olcott wrote:>
>*Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*>
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
>
Yes, you have rotely repeated that many times, not knowing what that implies, or doesn't imply.
>
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
>
*Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
*Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
*Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
Really?
>
A "submachine" doesn't have a requirement except to act as the machine it is a copy of.
>
There is no such thing as a sub-machine.
What do you think H^.H is?
You are just showing how stupid you are.
You are bullshitting yourself, yet not bullshitting me.>No, there IS a 'Correct answer', it just isn't the one that that H gives.So, what you are REALLY Saying is that:>
>
H (H^) (H^) gets the wrong answer for every implementation of H,
>
Both answers of YES and NO are incorrect for any H ⟨Ĥ⟩ ⟨Ĥ⟩
that is inconsistent with the behavior of Ĥ ⟨Ĥ⟩ when an
exact copy of this same H is embedded within Ĥ.
This has been explained to you many times, but you just seem to be too stupid to understand.*For program/input pair: H/⟨Ĥ⟩ ⟨Ĥ⟩ both YES and NO are the wrong answer*
Unless H actually IS a correc
>But not for the question to have a correct answer.
Because both YES and NO are the wrong answer for this H
it is a logical impossibility H to answer that question
correctly.
Les messages affichés proviennent d'usenet.