Sujet : Re: ZFC solution to incorrect questions: reject them
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 13. Mar 2024, 01:05:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usqn3v$i33s$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 12/03/24 23:53, olcott wrote:
On 3/12/2024 5:30 PM, Richard Damon wrote:
On 3/12/24 2:34 PM, olcott wrote:
On 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.
>
∀ H ∈ Turing_Machines_Returning_Boolean
∃ 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.
…