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

On 19/03/24 19:53, 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?"
 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.
Can Carol correctly answer “no” to this [yes/no] question?

In other words any question which can be proven to be undecidable is not actually undecidable because you said so.