Sujet : Re: Everyone on this forum besides Keith has been a damned liar about this point
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophyDate : 09. Jun 2025, 04:16:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1025jn5$aqju$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer