Re: Proof that H(D,D) meets its abort criteria --self-evident truth--

On 3/20/2024 6:06 AM, Fred. Zwarts wrote:

Op 19.mrt.2024 om 19:53 schreef olcott:

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.

 Repeating irrelevant remarks does not change the situation.
Each program either halts or does not halt. So, the question "Does the program specified in the input halt?" has a correct yes or no answer for each program, independent of who you ask.
Olcott has never given any evidence that a program may exists which has a third possibility. So, he never gave any evidence that it is an incorrect question.

Can Carol correctly answer “no” to this [yes/no] question?
When posed to Carol A correct answer to that question instance
is logically impossible.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
Does Ĥ ⟨Ĥ⟩ halt?
When posed to Ĥ.H A correct answer to that question instance
is logically impossible.
Logical impossibilities never place any actual limit on anyone
or anything.

He only tries to replace the question into a different irrelevant question. For the new question he gave evidence that it is an incorrect question. It is not clear to me why he wants to change the correct question into an incorrect question.
 

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer