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 18:24:01 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <usqo6h$hubd$3@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>
 <usqhoj$gtih$2@dont-email.me> <usql2f$1m5uu$2@i2pn2.org>
 <usqmdi$hu9o$1@dont-email.me> <usqn3v$i33s$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Mar 2024 23:24:01 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="aa13334f329e2006d1dfb90f9960e443";
	logging-data="588141"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18P9bRpRGS7iWvzzRtAY7Mi"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zEcXrLUHv5ULG9qENSyq14Sxp3g=
In-Reply-To: <usqn3v$i33s$1@dont-email.me>
Content-Language: en-US
Bytes: 3138

On 3/12/2024 6:05 PM, immibis wrote:
> 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.
> 

It has taken me twenty years to translate my intuitions into
words that can possibly understood.

A pair of Turing Machines that return Boolean that are identical
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.



-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer