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

On 7/8/25 12:22 PM, olcott wrote:

On 7/8/2025 11:10 AM, joes wrote:

Am Tue, 08 Jul 2025 09:14:50 -0500 schrieb olcott:

On 7/8/2025 2:15 AM, joes wrote:

Am Mon, 07 Jul 2025 21:38:19 -0500 schrieb olcott:
>

"No, that code proves that HHH, as defined,
    always aborts its simulation of DDD"
That is a false statement. If you understood the code you would know
your error.

Lolwut? Please explain how HHH runs forever.

I didn't say that it runs forever.

You said it didn't always abort. How does it halt without aborting?
>

 *I denied these words not your paraphrase of them*
"No, that code proves that HHH, as defined,
always aborts its simulation of DDD"
 

DO you deny that truth?
Does not you big trace of the running of HHH show that it does abort and return 0?
Do you think that programs are not deterministic in behavior?
I guess you are just showing that you think computers, as currently being used, can't exists as somethig useful, as programms can end up doing what ever they want, and aren't limited by what the programming says they must do,
Sorry, you are just proving your stupidity,