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

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.
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.