Liste des Groupes | Revenir à s logic |
On 3/12/24 11:12 AM, olcott wrote:*Halts(TMD) means true if TMD actually halts and false otherwise*∀ H ∈ Turing_Machine_DecidersBut each of the questions in your set, that for each H^ built on each SPECIFIC H, there is a correct answer, just not the one that H gives, so the ALL the questions are correct.
∃ TMD ∈ Turing_Machine_Descriptions |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
There is some input TMD to every H such that
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
When we disallow decider/input pairs that are incorrect
questions where both YES and NO are the wrong answer
(the same way the ZFC disallowed self-referential sets) then
pathological inputs are not allowed to come into existence.
Les messages affichés proviennent d'usenet.