Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2

On 2024-07-19 14:08:24 +0000, olcott said:

On 7/19/2024 2:42 AM, Mikko wrote:

On 2024-07-17 15:02:01 +0000, olcott said:
 

On 7/16/2024 1:06 PM, joes wrote:

Am Tue, 16 Jul 2024 08:54:10 -0500 schrieb olcott:

On 7/16/2024 3:23 AM, joes wrote:

Am Mon, 15 Jul 2024 16:03:30 -0500 schrieb olcott:

On 7/15/2024 3:58 PM, joes wrote:

Am Mon, 15 Jul 2024 10:52:34 -0500 schrieb olcott:

On 7/15/2024 9:04 AM, joes wrote:

Am Mon, 15 Jul 2024 07:23:57 -0500 schrieb olcott:

On 7/15/2024 3:59 AM, joes wrote:

Am Sun, 14 Jul 2024 22:35:03 -0500 schrieb olcott:

On 7/14/2024 10:02 PM, Mike Terry wrote:

 

Any input that must be aborted to prevent the non termination of
simulating termination analyzer HHH necessarily specifies
non-halting behavior or it would never need to be aborted.

It's just that the input HHH halts and does not need to be
aborted.

At the point that it is aborted it did need to be aborted

Because it hadn't halted yet?

Because HHH has seen a repeating state that proves that DDD
correctly emulated by HHH cannot possibly ever stop running unless
aborted.

Which state is it that repeats forever?

*It had never been which state DOES repeat forever*
*It has always been which state WOULD repeat forever if not aborted*

Well then, which state of HHH would repeat forever?

It is not "which state of HHH would repeat forever?"
It is: Which state of HHH would repeat forever if not aborted?

 

Those two are the same, but different to what you said above.
HHH does not repeat forever because it makes sure to stop simulating
anything that does.
 

 I proved that they are not the same in the part that
you skipped.

 Wat makes you think any part was skipped?

 You skipped the part at the bottom.

So you just say so wothout any reason to say so?
There is no proof at the bottom of <v75u22$19j7l$4@dont-email.me>.

Infinite_Loop() repeats until aborted.

There is no Infinite_Loopn at the bottom of <v75u22$19j7l$4@dont-email.me>.
Besides it is none of the HHH or DDD, so not relevant to my comment.

When we use your incorrect reasoning we would conclude
that Infinite_Loop() is not an infinite loop because it
only repeats until aborted and is aborted.

You and your HHH can reason or at least conclude correctly about
Infinite_Loop but not about DDD. Possibly because it prefers to
say "no", which is correct about Infinte_loop but not about DDD.
--
Mikko