Liste des Groupes | Revenir à s logic |
On 3/12/2024 6:05 PM, immibis wrote:You failed.On 12/03/24 23:53, olcott wrote:It has taken me twenty years to translate my intuitions intoOn 3/12/2024 5:30 PM, Richard Damon wrote:>On 3/12/24 2:34 PM, olcott wrote:∀ H ∈ Turing_Machines_Returning_BooleanOn 3/12/2024 4:23 PM, Richard Damon wrote:>On 3/12/24 1:11 PM, olcott wrote:>Not exactly. A pair of otherwise identical machines that>
(that are contained within the above specified set)
only differ by return value will both be wrong on the
same pathological input.
You mean a pair of DIFFERENT machines. Any difference is different.
Every decider/input pair (referenced in the above set) has a
corresponding decider/input pair that only differs by the return
value of its decider.
Nope.
>
∃ TMD ∈ Turing_Machine_Descriptions |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
>
Every H/TMD pair (referenced in the above set) has a
corresponding H/TMD pair that only differs by the return
value of its Boolean_TM.
>
That both of these H/TMD pairs get the wrong answer proves that
their question was incorrect because the opposite answer to the
same question is also proven to be incorrect.
>
Nobody knows what the fuck you are talking about. You have to actually explain it. The same machine always gives the same return value on the same input.
>
words that can possibly understood.
A pair of Turing Machines that return Boolean that are identicalhttps://en.wikipedia.org/wiki/Turing_machine#Formal_definition
besides their return value that cannot decide some property of
the same input are being asked the same YES/NO question having
no correct YES/NO answer.
Les messages affichés proviennent d'usenet.