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

On 3/20/2024 1:00 PM, Richard Damon wrote:

On 3/19/24 2:53 PM, olcott wrote:

On 3/19/2024 1:31 PM, immibis wrote:

On 19/03/24 19:14, olcott wrote:

On 3/19/2024 12:42 PM, immibis wrote:

On 19/03/24 05:37, olcott wrote:

You are just getting nutty now. You are tossing out the sequence, selection, iteration model of computation.

>
aren't you tossing out the turing machine model of computation?
>

>
I am only tossing out the halting problem specification.
I am not saying (like Richard is saying) that sequential
code can be executed out-of-sequence.
>

>
in other words you accept the halting problem is unsolvable and want to work on a different problem instead.

>
Incorrect questions are questions defined to have no correct
answer. Is this sentence true or false: "This sentence is not true."
Is a concrete example of an incorrect question. A less subtle example
is this question: Is this sentence true or false: "What time is it?"

 Right, but "Does the machine described by your input Halt?"
 DOES have a correct answer (just not the one that this H gives) so it is a CORRECT question.
 

>
Incorrect question instances are questions defined to have no correct
answer when posed to a specific entity.  They may have correct answers
when posed to a different entity.

 And the fact that the entity DOESN'T give the correct answer doesn't make the question incorrect.
 

Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
When neither YES no NO is a correct answer when posed to
Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ of the above template then this is an incorrect
question instance.

Can Carol correctly answer “no” to this [yes/no] question?
>
In the case of Hehner's "twisted self-reference" incorrect question
  instances can be understood to be incorrect questions when the
  full context of who is asked is included in the meaning of the question.

 Which, since you admit he CHANGES the question, his arguement fails to be valid based on using the STRAWMAN fallacy.
 

It does not change the question. We are simply examining the subset cases when the question is applied to specific decider/input pairs.
When posed to every entity named "Carol"
the question is an {incorrect question instance}.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer