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

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

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

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

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

>
It is the set of every implementation of its spec:

 But it was an algorithm, not a set. Make up your mind.
 

(a) H(D,D) Simulate input.
(b) Determine if it needs to stop simulating its input to prevent
the simulated D(D) from never halting.

 And how do you determine NEED.
 

Determine if it needs to stop simulating its input
*to prevent the simulated D(D) from never halting*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer