Liste des Groupes | Revenir à s logic |
On 12/03/24 17:12, olcott wrote:I can't understand what you mean.>So when I ask this Turing machine:
∀ H ∈ Turing_Machine_Deciders
∃ TMD ∈ Turing_Machine_Descriptions |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
In all of the H/TMD cases above where
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
H is being asked a question where both YES and NO
are the wrong answer.
states={qy,qn}
start_state={qn}
whether it halts, the predicted behaviour is no but the actual behaviour is yes, so that means both YES and NO are the wrong answer, according to you?
YES or NO is only the right answer to a different decider/inputIt is not that H is gagged and cannot answer, it isOnce we understand that either YES or NO is the right answer, the whole rebuttal is tossed out as invalid and incorrect.
that both YES and NO are the wrong answer.
Les messages affichés proviennent d'usenet.