Deutsch English Français Italiano |
<v9a7qm$2923f$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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