Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++

On 6/18/2025 11:02 AM, joes wrote:

Am Wed, 18 Jun 2025 10:08:11 -0500 schrieb olcott:

On 6/17/2025 8:33 PM, Richard Damon wrote:

On 6/17/25 11:11 AM, olcott wrote:

 

When it is understood that HHH does simulate itself simulating DDD
then any first year CS student knows that when each of the above are
correctly simulated by HHH that none of them ever stop running unless
aborted.

But since HHH *DOES* abort

That is not given.

What? The code says so.
 

The HHH that I am talking about here is the infinite
set of every simulating termination analyzer named HHH.
Some of them abort, some of them do not abort.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer