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

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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer