Sujet : Re: Everyone on this forum besides Keith has been a damned liar about this point
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theoryDate : 09. Jun 2025, 04:42:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1025l7l$4nm5$3@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 6/8/2025 11:39 PM, olcott wrote:
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.
But they take a description/specification of an algorithm, which is what is meant in this context. And because your HHH does not work with the description/specification of an algorithm, by your own admission, you're not working on the halting problem.
If you would just quit lying about that people might actually take you seriously.
you fundamentally don't understand the problem and further proves you're not working on the halting problem.
>
If you would just be honest about that fact people would stop bothering you.
…