Liste des Groupes | Revenir à s logic |
On 3/11/2024 7:08 PM, Richard Damon wrote:So, you admit you were wrong, and are just stupid.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:>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.
OF course there is.
>
What do you think H^.H is?
>
You are just showing how stupid you are.
cannot actually be implemented as any actual aspect of
any actual Turing machine.
The ghost of Bug Bunny exists as a fictional idea.So seems most of your ideas.
If H (H^) (H^) says Qn, as you normally say, then it is a FACT thatYou are bullshitting yourself, yet not bullshitting me.>>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 Ĥ.
No, there IS a 'Correct answer', it just isn't the one that that H gives.
>
There is no correct answer for the H/⟨Ĥ⟩ ⟨Ĥ⟩ program/input pair.
You and Daryl McCullough act like someone physically gaggedNo, but their programming does force them to say only one thing, that which there programming tells them to say.
H/⟨Ĥ⟩ with a piece of cloth.
It is not that they can't speak it is that both YES and NONo, ONE of them is the only thing the CAN speak, as that is the results of their programming, that is the only thing they CAN do.
are the wrong answer when they do speak.
No. See above.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
>
>>>
Because both YES and NO are the wrong answer for this H
it is a logical impossibility H to answer that question
correctly.
But not for the question to have a correct answer.
*For program/input pair: H/⟨Ĥ⟩ ⟨Ĥ⟩ both YES and NO are the wrong answer*
*For program/input pair: H/⟨Ĥ⟩ ⟨Ĥ⟩ both YES and NO are the wrong answer*
Les messages affichés proviennent d'usenet.