Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Defining a correct halting decidability decider
Date: Sun, 11 Aug 2024 06:37:58 -0500
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <v9a7qm$2923f$1@dont-email.me>
References: <v8o47a$3ml4$1@dont-email.me>
 <0ec454016dab6f6d6dd5580f5d0eea49569293d8@i2pn2.org>
 <v8oigl$6kik$1@dont-email.me>
 <6ec9812649b0f4a042edd1e9a1c14b93e7b9a16b@i2pn2.org>
 <v8ol2g$74lk$1@dont-email.me> <v8v61f$29aqq$1@dont-email.me>
 <v8vrsb$32fso$5@dont-email.me> <v91r57$3qct4$1@dont-email.me>
 <v92gpl$p1$4@dont-email.me> <v94lkb$lh2p$1@dont-email.me>
 <v956lm$o1gt$3@dont-email.me> <v977s1$guti$1@dont-email.me>
 <v97he3$ilah$1@dont-email.me> <v99lf7$25pkm$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 11 Aug 2024 13:37:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2823e9f63915b861ed765b8be41520b0";
	logging-data="2394223"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/o6W0+3pZ9T8apC4Dl8D6J"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:R1ZLtfMS9XerSZJFNLrbhAqG8rY=
Content-Language: en-US
In-Reply-To: <v99lf7$25pkm$1@dont-email.me>
Bytes: 2155

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; Genius
hits a target no one else can see." Arthur Schopenhauer