Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike

On 7/9/25 10:50 PM, olcott wrote:

On 7/9/2025 8:49 PM, Richard Damon wrote:

On 7/9/25 9:55 AM, olcott wrote:

On 7/9/2025 6:44 AM, Richard Damon wrote:

On 7/8/25 3:49 PM, olcott wrote:

On 7/8/2025 2:01 PM, Mike Terry wrote:

>
This is one of PO's practiced tactics - he makes a claim, and regardless of how patently false that claim appears, he refuses to logically defend the claim beyond saying "the claim is true, and if you understood xxx you would realise it is true".
>

>
All of my claims are easily verified facts to those
with the capacity to verify them.
>
void DDD()
{
   HHH(DDD);
   return;
}
>
_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]

>
Not a program, must include the code for HHH to be simulatable.
>

>
You must have dementia.
I have told you that HHH does emulate DDD
then it emulates itself emulating DDD 500 times now.
>

>
And thus you admit that you are lying.
>

 *Here is the proof*
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
 

SO, you admit that HHH fails to emulate JUST the input, and that the input represent a halting program. (SInce the code for the input DDD is identical to the main that the trace shows).
You also admit that HHH doesn't actually do a CORRECT simulation, as it aborts before it gets to the end.
That is like saying you ran a marathon, when you gave up after running 100 feet. Actions are generally presumed to be completed unless properly modified, especially in technical works.
Thus HHH doesn't "Simulate" its input, but just partially simulates it input plus stuff that you aren't giving as input (but should have).
This shows that your "proof" is just evidence that you are just a stupid ignorant liar that doesn't know what he is talking about, and his HHH does correctly solve the halting problem for the input he gives it.
Sorry, but that is just the facts, facts that you should know, but apparently are so mentally broken that you can't, and won't understand.