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:39:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1025l2e$aqju$3@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 6/8/2025 10:32 PM, dbush wrote:
On 6/8/2025 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.
>
That you think that shows that
My understanding is deeper than yours.
No decider ever takes any algorithm as its input.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer