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

On 2/22/25 1:57 PM, olcott wrote:

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.
you never did tell me whether or not you fully
understand what infinite recursion is.
  

Nope, because, BY DEFINITION, a decider will stop in finite time, and thus a correct decider can always be simulated to its end.
THe fact that HHH is only a decider because it incorrectly aborts its simulation just proves that this HHH is not a correct simulator.
And you are just proving that you are just ignorant of what you are talking about and too stupid to see your errors.