Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: ZFC solution to incorrect questions: reject them
Date: Wed, 13 Mar 2024 04:04:32 +0100
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <usr540$ldph$4@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>
 <usqo6h$hubd$3@dont-email.me> <usqp0u$ie7v$1@dont-email.me>
 <usqq3p$iit2$1@dont-email.me> <usqqto$ipr7$1@dont-email.me>
 <usqrcq$iit2$3@dont-email.me> <usqu5h$jamh$1@dont-email.me>
 <usr0in$jp1l$2@dont-email.me> <usr2bv$k5kt$1@dont-email.me>
 <usr3ph$kdfp$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 13 Mar 2024 03:04:32 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="d3f75eaadad991e96f7897dd49a5bb0b";
	logging-data="702257"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX196WdppF5asXNXYxaoKDCFy"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SLjUZ5Ctd+im73a/CIEWyDMMDcw=
Content-Language: en-US
In-Reply-To: <usr3ph$kdfp$2@dont-email.me>
Bytes: 2927

On 13/03/24 03:41, olcott wrote:
> On 3/12/2024 9:17 PM, immibis wrote:
>> On 13/03/24 02:47, olcott wrote:
>>> On 3/12/2024 8:05 PM, immibis wrote:
>>>> On 13/03/24 01:18, olcott wrote:
>>>>> On 3/12/2024 7:10 PM, immibis wrote:
>>>>>> So which part of ⟨Q, Γ, b, Σ, δ, q0, F⟩ is different?
>>>>> Exactly one element of Q differs by writing a 1 instead of a 0.
>>>>
>>>> That's part of δ but this mistake doesn't matter.
>>>>
>>>> It wasn't clear whether you were talking about a Turing machine that 
>>>> was somehow identical but gave a different return value, or one that 
>>>> was not identical. Now you have explained it is not identical.
>>>>
>>> They are identical except for their return value that is specified
>>> in a single state that is different.
>>>
>>> *This means that they implement the exact same algorithm*
>>
>> OK. Well, one of them gets the right answer and one of them gets the 
>> wrong answer. What is the confusion?
> 
> The Linz Ĥ.H machine gets the wrong answer on its own
> machine description no matter how its Linz H is defined.
> 
> This means that it gets the wrong answer on YES and the
> wrong answer on NO.
> 

This means that two different machines get two different wrong answers 
on two different inputs. The fact that 1+1=4 is wrong and 2+2=2 is wrong 
does not mean that 2+2=4 is wrong or 1+1=2 is wrong.