Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--

On 3/15/2024 11:52 PM, Richard Damon wrote:

On 3/15/24 8:41 PM, olcott wrote:

The abort criteria derives the exact same result as the
conventional halting criteria yet does not make the mistake
of expecting H to report on behavior that it does not see.
In these cases it derives a different result.
>

>
So, you are saying Halting == Not Halting, since the conventional Halting Criteria says that D(D) Halts, since H(D,D) says 0, and D is designed to halt if H(D,D) says 0.
>
And your abort criteria says it is non-halting.
>
So, BOOM, you logic system just exploded in contradiciton, or you admit you are a liar.

 I admit that the original criteria is incorrect when the basis
is that H(D,D) always reports on the behavior that it actually sees.
 On the different basis of dividing program/input pairs into those
that halt and those that do not, we need a third return value of ERROR.

 

>

So, you are still the liar.
>

>

>