Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: immibis Newsgroups: comp.theory Subject: =?UTF-8?Q?Re=3A_ZFC_solution_to_incorrect_questions=3A_reject_them_?= =?UTF-8?Q?--G=C3=B6del--?= Date: Tue, 12 Mar 2024 21:50:53 +0100 Organization: A noiseless patient Spider Lines: 28 Message-ID: References: <8634t1nx2p.fsf@yaxley.in> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 12 Mar 2024 20:50:53 -0000 (UTC) Injection-Info: dont-email.me; posting-host="061f5a35c45b83c4d31f004f5fb77f03"; logging-data="530030"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Ua8gi9d6CZlwHFB5LAXDK" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:hECKK/YWJpZhCtIK2I3kaiywkHw= Content-Language: en-US In-Reply-To: Bytes: 3093 On 12/03/24 21:35, olcott wrote: > On 3/12/2024 3:23 PM, immibis wrote: >> On 12/03/24 19:42, olcott wrote: >>> On 3/12/2024 1:28 PM, immibis wrote: >>>> Once we understand that either YES or NO is the right answer, the >>>> whole rebuttal is tossed out as invalid and incorrect. >>> >>> ∀ H ∈ Turing_Machine_Deciders >>> ∃ TMD ∈ Turing_Machine_Descriptions  | >>> Predicted_Behavior(H, TMD) != Actual_Behavior(TMD) >>> >>> I am only referring to the decider/input pairs specified >>> above. You persistently try to get away with referring >>> to DIFFERENT decider/input pairs. >> >> It seems that you are trying to say you are only talking about the >> ones that are gotten wrong. >> >> Once we understand that either YES or NO is the right answer, the >> whole rebuttal is tossed out as invalid and incorrect. > > The above set only refers to the pathological decider/input pairs. > every pathological decider/input pair an instance of an incorrect > question. An instance of an incorrect question is an instance with no correct answer, but all of the instances you seem to be referring to have correct answers.