Sujet : Re: Defining a correct halting decidability decider
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 11. Aug 2024, 12:37:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9a7qm$2923f$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 8/11/2024 1:24 AM, Mikko wrote:
On 2024-08-10 11:03:31 +0000, olcott said:
>
1=halts
0=does not halt or pathological relationship to decider
Which does not use the stipulation and therefore does not demonstrate
its usefulńess.
That a computation has a pathological relationship to some decider
does not prevent another partial haltdecider from determinig whther
it halts.
void DDD()
{
HHH(DDD);
return;
}
A pathological relationship to this decider <is>
a non-trivial semantic property of this input.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…