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

On 3/16/24 9:14 PM, olcott wrote:

On 3/16/2024 11:12 PM, Richard Damon wrote:

On 3/16/24 9:08 PM, olcott wrote:

On 3/16/2024 10:50 PM, Richard Damon wrote:

On 3/16/24 7:54 PM, olcott wrote:

On 3/16/2024 9:50 PM, Richard Damon wrote:

>

So, are you admitting that you "Halt Deciders" are

>
Not being discussed. We are only looking at this:
[Proof that H(D,D) meets its abort criteria]
>
>

>
Then why do you call them Halt Deciders?

>
In this thread we must focus on the single point
[Proof that H(D,D) meets its abort criteria]
Or we will never ever get closure on this single point.
>

>
So, is this criteria supposed to be a Halt Deciding criteria?
>

 H is an algorithm that simulates its input and correctly
determines whether or not it needs to abort this simulation.
That is all that this thread's H does.
 

And what defines "Need"?
Note, if H is an algorithm, we can't talk of "changing" it, or it looses its identity.
NOTE, You didn't answer the question, so I will presume you can't deny the implication.