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?