Re: Everyone on this forum besides Keith has been a damned liar about this point

On 6/8/25 11:16 PM, olcott wrote:

On 6/8/2025 10:08 PM, dbush wrote:

On 6/8/2025 10:50 PM, olcott wrote:

void DDD()
{
   HHH(DDD);
   return;
}
>
The *input* to simulating termination analyzer HHH(DDD)

>
No it's not, as halt deciders / termination analyzers work with algorithms,

 That is stupidly counter-factual.
 

In other words, you consider "Definitions" to be counter-factual.
Of course you do, as you consider FACTS to be counter-factual,
Soory, you have sunk your reputation.