Re: ZFC solution to incorrect questions: reject them

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.