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

On 3/19/24 2:14 PM, 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.
 

Just more of your lies.
Where did I say "Sequential Code" can run out-of-sequence.
THe codes that I talk about not being in the sequence you think are two INDEPENDENT copies of the machines.
The H that is deciding the D(D) does not enforce that the ACTUAL D(D) it is simulating has not been run yet, and in fact, since we can consider Turing Machines to "auto-start" once created, it is IMPOSSIBLE to give to H a description of a D(D) that has not already run itself.
We, as finite humans may not know what it did, but the mathematical world of truth does.
You can't seem to comprehend that world, because you seem to like to live in your world of LIES.