On 1/13/24 17:41, olcott wrote:
>
> When I focus on one step of this proof trying to get closure
> on this step and you change the subject to something else this
> IS A DISHONEST DODGE.
>

Your question is an incorrect question.

On 1/14/2024 3:13 AM, immibis wrote:
> On 1/13/24 17:41, olcott wrote:
>>
>> When I focus on one step of this proof trying to get closure
>> on this step and you change the subject to something else this
>> IS A DISHONEST DODGE.
>>
>
> Your question is an incorrect question.

No it is not: Does D correctly simulated by H halt?

01 int D(ptr x) // ptr is pointer to int function
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 H(D,D);
12 }

*Execution Trace*
Line 11: main() invokes H(D,D);

*keeps repeating* (unless aborted)
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)

*Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.

No one can possibly provide the exact sequence of the line numbers
of D correctly simulated by H that differs from the above sequence.
*This proves that D correctly simulated by H does not halt*

--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 1/14/24 11:00 AM, olcott wrote:
> On 1/14/2024 3:13 AM, immibis wrote:
>> On 1/13/24 17:41, olcott wrote:
>>>
>>> When I focus on one step of this proof trying to get closure
>>> on this step and you change the subject to something else this
>>> IS A DISHONEST DODGE.
>>>
>>
>> Your question is an incorrect question.
>
> No it is not: Does D correctly simulated by H halt?

WHich isn't the Halting Question, so you are just admitting to being a liar.

You have painteed yourself into a corner.

Either you are working on the Halting Problem, and thus the "correct
question" IS the actual question of the Halting Problem, or you are just
a LIAR.

Note, to use your modified question you need to show that it IS
equivalent, and that your H obeys it.

Since no H exists that correctly simulates the input D that is based on
itself, and also returns an answer, no H meets your requrements, and you
are just asking an incorrect question based on a fantasy world.

Your "H" is just another name for the Barber that only shaves everyone
that doesn't shave themselves.

On 1/14/24 17:00, olcott wrote:
> On 1/14/2024 3:13 AM, immibis wrote:
>> On 1/13/24 17:41, olcott wrote:
>>>
>>> When I focus on one step of this proof trying to get closure
>>> on this step and you change the subject to something else this
>>> IS A DISHONEST DODGE.
>>>
>>
>> Your question is an incorrect question.
>
> No it is not: Does D correctly simulated by H halt?

What time is it (yes or no)?