Re: The behavior of D(D) varies between its correct simulation by H1(D,D) and H(D,D)

On 3/23/24 11:58 AM, olcott wrote:

On 3/23/2024 9:14 AM, Richard Damon wrote:

On 3/22/24 10:55 PM, olcott wrote:

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

On 3/22/24 10:33 PM, olcott wrote:

On 3/22/2024 9:17 PM, Richard Damon wrote:

On 3/22/24 11:34 AM, olcott wrote:

*The behavior of D(D) is changed when the simulated D is specified*
*to have a pathological relationship with its own simulator*

>
Nope. H just makes a INVALID deduction that the call to H will not return when properly simulated (which it can not do).
>

>
D(D) simulated by H1 calls H(D,D) from its own machine address 00001d1e returns to its caller at machine address 00001d54.
>
*Contrasted with*
>
D(D) simulated by H calls H(D,D) from its own machine address 00001d1e and cannot possibly return to its caller because it would remain stuck in recursive simulation until aborted.

>
Nope, since H DOES abort and return 0, the CORRECT SIMULATION of this input will do this too (just as H1 did).
>

>
H DOES abort and returns 0       // H(D,D) sees that it must abort

>
>
IT THINKS it must abort, but by the DEFINITION that YOU AGREED to, it turns out it doesn't because the D that it simulates is calling an H that will return 0 and thus cause D to halt.
>

>
*In other words you have no shame in contradicting yourself*
*In other words you have no shame in contradicting yourself*
*In other words you have no shame in contradicting yourself*

>
What CONTRADICTION?
>

>
On 3/20/2024 6:02 PM, Richard Damon wrote:
 > On 3/20/24 6:01 PM, olcott wrote:
 >> Every H(D,D) that doesn't abort its simulated input
 >> never stops running.
 >
 > Yep, shows that H's that don't abort the D built on
 > them won't be deciders...

>
Yep, OTHER H's, with different code don't answer.
>

 Of all of the elements of the set of H(D,D) where H simulates its
input there are matched pairs of otherwise identical elements that
only differ by whether they abort their simulation or not.
 The half of these that don't abort are incorrect because all deciders
must halt. This makes the other half correct about the abort/no abort
decision.
 

And the half that DO abort are incorrect because when they abort, then make D be a halting Computation that doesn't need to be aborted.
You are just using unsound an invalid logic, as that seems to be all you know.