Re: Proof that H(D,D) meets its abort criteria --incorrect question instance--

On 3/20/2024 5:53 PM, Richard Damon wrote:

On 3/20/24 4:13 PM, olcott wrote:

On 3/20/2024 2:57 PM, Richard Damon wrote:

On 3/20/24 2:07 PM, olcott wrote:

>
<snip>
>

Since I defined the term "incorrect question" and I defined the
term "incorrect question instance" I cannot possibly have defined
them incorrectly. These are stipulative definitions.
https://en.wikipedia.org/wiki/Stipulative_definition

>
And by stipulating your definition, you havve disconnected it from any other use in the theory, in prticular, just because some question turns out to be an Olcott-Incorrect Question doesn't me it is an improper question to put to a decider to see if it meets its defintion.
>

>
Every Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ says Ĥ ⟨Ĥ⟩ halts and fails to halt.
Every Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   says Ĥ ⟨Ĥ⟩ does not halt and then halts.
>
Every Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ that answers YES is wrong.

 Because for THAT H^, the answer is NO
 

"That Ĥ" that you are referring to is not any actual Ĥ at all.
every element of the in finite set Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong
answer because whatever answer it provides is contradicted.
<snip>

The question was always "Correct" as it always had a correct answer for all cases.
 

There is never any correct answer for any of these cases: Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩

All you have done is say that a decider can be considered Olcott-Correct even if it LIES and gives wrong answers, because those cases were just "incorrect question instances" for it.
 

We either change the question or we keep the question the same
and reject the erroneous inputs.

Thus, you have destroyed the ability to gain knowledge by computing, as we can never know if the answer was right unless we can show that the decider did give the right answer, which is an uncomputable problem, so we can never know something we didn't already know the answer to.
 

Actually no one has showed that my abort decider ever gets
the wrong answer. Instead of this the dishonest claim is
made that it always gets the wrong answer.

>

>

An {incorrect question instance} is any question that has no
correct answer from the one that this question was posed to.

>
And, if the "one" that question was posed to, by reason of the "definition" of that "one" just doesn't give the correct answer, are you saying that is enough to make that question instance invalid?
>

>
When the only reason that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ fails to provide a correct
answer is that every answer is contradicted then these incorrect
question instances must be tossed out.
>

 Excpet that now we can't tell which are those cases.

If you quit lying about the abort decider being always wrong
we can move on to seeing if there are any counter-examples
that show it is not always right.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer