Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure (typo)

On 6/24/24 9:07 PM, olcott wrote:

On 6/24/2024 7:54 PM, Richard Damon wrote:

On 6/24/24 8:34 PM, olcott wrote:

>
I do correctly refute the halting problem proofs and
mandate mutual agreement on each step before I will
proceed to the next step.

>
Nope, you never have because you never use the definition of HALTING, but insist you get to LIE about what halting is.
>
You are just talking about your POOP.
>
You are just to stupid to understand what you are talking about.
>

>
*I caught you in your lies and there you remain trapped*
*I caught you in your lies and there you remain trapped*
*I caught you in your lies and there you remain trapped*
>
>

>
Where?

  *We can get to that as soon as you reverse your lie*
*We can get to that as soon as you reverse your lie*
*We can get to that as soon as you reverse your lie*

What lies?

 D correctly simulated by H does not have the same behavior
as the directly executed D(D) because

No, it just means that the D correctly simulated by H's trace stops in the middle of the simulation of H, exactly duplicating the trace of the direct exectution of D(D) until H stops.

 the call from D to H(D,D) cannot possibly return when D
is correctly simulated by H.
 

Which mean NOTHING, as it isn't the definiton of Halting, so not the proper criteria of a Halt Decider.
You are just brainwashed by your own lies.
Since you NEVER show anything about the behavior of the direct execution of D(D) which is the defined behavior that H is supposed to answer about, you haven't shown anything interesting.
Until you actually do something to establish some real meaning to your POOP definition of D correctly simulated by H, you have nothing to go on.
And, as has been pointed out, one problem with your "property" of "D correctly simulated by H" is that it is shown to be a SUBJECTIVE criterion, and thus naturally not interesting by default, since we are concerned with OBJECTIVE truth.
This seems to be a weakness of your whole logic system, that seems to lean towards this sort of quesiton.