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

On 6/18/25 12:07 PM, olcott wrote:

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.
 

But that is just a category error.
Programs are not infinte sets.
And the input to a program can not be an infinite set of programs.
Thus, you "logic" is based on LIES based on the equivocation error of a category error.
Sorry, you are just proving your stupidity.