Path: ...!news.mixmin.net!weretis.net!feeder6.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
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: Sun, 10 Mar 2024 23:02:07 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <usm6p0$1enef$25@i2pn2.org>
References: <usia2e$2f2pd$1@dont-email.me> <usiuup$2jdc7$2@dont-email.me>
 <usj254$2jutc$2@dont-email.me> <usj2e3$2jut2$1@dont-email.me>
 <usj2je$2jutc$3@dont-email.me> <usj2rs$2jut2$2@dont-email.me>
 <usj32s$2k5id$1@dont-email.me> <usjd20$2plge$1@dont-email.me>
 <usjef5$1cf5q$6@i2pn2.org> <usjfj8$2q613$1@dont-email.me>
 <usjgs6$1cf5q$7@i2pn2.org> <usjhks$2qhfq$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 11 Mar 2024 06:02:08 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1531343"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <usm5np$3f27j$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2667
Lines: 15

On 3/10/24 10:44 PM, olcott wrote:

> *Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
> 

Yes, you have rotely repeated that many times, not knowing what that 
implies, or doesn't imply.

It is also true that every instance of that question has a right answer, 
it just isn't the one that H gives.

Thus, the question is VALID but UNCOMPUTABLE.

You are just proving your utter ignorance and inability to learn.