Deutsch English Français Italiano |
<usqhoj$gtih$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott2@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: ZFC solution to incorrect questions: reject them Date: Tue, 12 Mar 2024 16:34:11 -0500 Organization: A noiseless patient Spider Lines: 53 Message-ID: <usqhoj$gtih$2@dont-email.me> References: <usq5uq$e4sh$1@dont-email.me> <usq715$ed9g$3@dont-email.me> <usq8rh$etp9$1@dont-email.me> <usqb4a$1l201$32@i2pn2.org> <usqcts$froc$1@dont-email.me> <usqh4h$1lvbo$3@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 12 Mar 2024 21:34:12 -0000 (UTC) Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732"; logging-data="554577"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/gw9UDvjnPOMm33J4KDbYE" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:QQwHFL1926Xmb9TpSjrRb9Qmluo= In-Reply-To: <usqh4h$1lvbo$3@i2pn2.org> Content-Language: en-US Bytes: 3313 On 3/12/2024 4:23 PM, Richard Damon wrote: > On 3/12/24 1:11 PM, olcott wrote: >> On 3/12/2024 2:40 PM, Richard Damon wrote: >>> On 3/12/24 12:02 PM, olcott wrote: >>>> On 3/12/2024 1:31 PM, immibis wrote: >>>>> On 12/03/24 19:12, olcott wrote: >>>>>> ∀ H ∈ Turing_Machine_Deciders >>>>>> ∃ 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) >>>>> >>>>> And it can be a different TMD to each H. >>>>> >>>>>> When we disallow decider/input pairs that are incorrect >>>>>> questions where both YES and NO are the wrong answer >>>>> >>>>> Once we understand that either YES or NO is the right answer, the >>>>> whole rebuttal is tossed out as invalid and incorrect. >>>>> >>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt >>>> BOTH YES AND NO ARE THE WRONG ANSWER FOR EVERY Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ >>> >>> No, because a given H will only go to one of the answers. THAT will >>> be wrong, and the other one right. >>> >> >> ∀ H ∈ Turing_Machine_Deciders >> ∃ TMD ∈ Turing_Machine_Descriptions | >> Predicted_Behavior(H, TMD) != Actual_Behavior(TMD) >> >> 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. That both of these decider/input 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. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer