Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: =?UTF-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk?=
 =?UTF-8?B?4p+pIGFuZCBIIOKfqMSk4p+pIOKfqMSk4p+pIGhhdmUgZGlmZmVyZW50IGJlaGF2?=
 =?UTF-8?Q?ior_ZFC_--new_focus--?=
Date: Mon, 11 Mar 2024 23:08:22 -0500
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <usokfn$3h5n$2@dont-email.me>
References: <usia2e$2f2pd$1@dont-email.me> <usjj7v$1cf5q$8@i2pn2.org>
 <uskg1p$30hr1$1@dont-email.me> <KEkHN.386271$vFZa.185803@fx13.iad>
 <uskog1$32h3c$1@dont-email.me> <uskpe3$32l00$1@dont-email.me>
 <uskq04$32h3c$3@dont-email.me> <usks70$1enef$1@i2pn2.org>
 <usktro$33lov$1@dont-email.me> <usl1c7$1enef$9@i2pn2.org>
 <usll3l$38f21$1@dont-email.me> <lttHN.366350$q3F7.85039@fx45.iad>
 <uslou1$390q2$1@dont-email.me> <uslpbr$1enef$17@i2pn2.org>
 <uslu1i$3do6h$1@dont-email.me> <usm07p$1enef$21@i2pn2.org>
 <usm1sg$3ebq5$2@dont-email.me> <usm2ps$1enef$22@i2pn2.org>
 <usm3eg$3em6b$1@dont-email.me> <usm4id$1enef$24@i2pn2.org>
 <usm5np$3f27j$2@dont-email.me> <usm6p0$1enef$25@i2pn2.org>
 <usn0d2$3klcn$1@dont-email.me> <uso6gi$3t0l7$3@dont-email.me>
 <usoa3t$3ttg8$1@dont-email.me> <usodpd$3uhqb$1@dont-email.me>
 <usoecc$3ujat$1@dont-email.me> <usoesp$3uo9o$1@dont-email.me>
 <usog2a$3utnd$1@dont-email.me> <usoi9m$1j3v1$5@i2pn2.org>
 <usoimh$2vll$4@dont-email.me> <usojqv$1j3v1$6@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Mar 2024 04:08:23 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732";
	logging-data="115895"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/C8LatQXYgRWPa/CrKhJCR"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EUgUl2HowERit9f9US5/w4CgzyA=
Content-Language: en-US
In-Reply-To: <usojqv$1j3v1$6@i2pn2.org>
Bytes: 3478

On 3/11/2024 10:57 PM, Richard Damon wrote:
> On 3/11/24 8:37 PM, olcott wrote:
>> On 3/11/2024 10:31 PM, Richard Damon wrote:
>>> On 3/11/24 7:52 PM, olcott wrote:
>>>> On 3/11/2024 9:32 PM, immibis wrote:
>>>>> On 12/03/24 03:24, olcott wrote:
>>> \
>>>>>> Troll detected.
>>>>>>
>>>>>
>>>>> Once we understand that either YES or NO is the right answer
>>>>
>>>> Not for this decider/input question: Ĥ.H / ⟨Ĥ⟩ ⟨Ĥ⟩
>>>> For that decider/input question both YES and NO are the wrong answer.
>>>
>>> The problem that you keeep on missing is that by the point we can ask 
>>> this question, H and H^ are FULLY CODED, and thus we know their 
>>> behavirs.
>>
>> H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy // Ĥ applied to ⟨Ĥ⟩ halts
>> H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn // Ĥ applied to ⟨Ĥ⟩ does not halt
>>
>> Since you know that is false why lie?
>> ⊢* specifies an infinite set of encodings.
> 
> Nope, read him again, not just skim and assume.
> 

In other words you are claiming that Linz proved there is at least
one H that does not decide halting correctly on at least one input?

If Linz proved the there does not exist any H that gets every input
correctly then ⊢* specifies every possible encoding of H.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer