Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A TIME !!!

On 2/22/25 2:36 PM, olcott wrote:

On 2/22/2025 1:15 PM, joes wrote:

Am Sat, 22 Feb 2025 12:57:57 -0600 schrieb olcott:

On 2/22/2025 12:17 PM, joes wrote:

Am Sat, 22 Feb 2025 12:07:17 -0600 schrieb olcott:

On 2/22/2025 10:45 AM, joes wrote:

Am Sat, 22 Feb 2025 10:28:34 -0600 schrieb olcott:

On 2/22/2025 3:34 AM, Fred. Zwarts wrote:

Op 22.feb.2025 om 00:15 schreef olcott:

>

Because the code proves that HHH does simulate itself correctly it
is not stupid for HHH to simulate itself. This was the most
difficult aspect of creating the x86utm operating system.

No, the code proves that HHH simulates a different version that
doesn't abort. See line 1059.

The code proves that it is correct.
HHH does correctly recognize and terminate the infinite recursion
behavior pattern.

No. Simulating a decider never needs to be aborted.

You can equally assume that squares are round.

Lol. Deciders *always* terminate.
>

 In other words a termination analyzer that is
called in an actual infinite loop will terminate
on its own with no action required by the termination
analyzer because the infinite loop knows better than
to challenge the authority of this termination analyzer?

Yes,
But then, the program that called the termination analyzer would need to have ACTUALY been in an infinite loop even when we take into account that the Termination analyser returns 0 to it.
The problem is that the termination analyser ISN'T the authority in this matter, but thje authority is the behavior of runnning the program.
You are just showing you fall in your apeal to authority when you trust something that isn't the authority

 

you never did tell me whether or not you fully understand what infinite
recursion is.

You wouldn't believe it.
>