Re: ZFC solution to incorrect questions: reject them

On 3/12/2024 10:04 PM, immibis wrote:

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.
 

None-the-less they only get the wrong answer because of the
epistemological antinomy AKA incorrect question.
H(D,D) could terminate abnormally (like a divide by zero error)
to indicate that its input is semantically invalid.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer