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 22:37:53 -0500
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <usoimh$2vll$4@dont-email.me>
References: <usia2e$2f2pd$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> <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Mar 2024 03:37:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732";
	logging-data="97973"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Ft1Wmza9z3Y9QvJrO0Jfq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0TcEb/cu9cwawsIdkNcokl7jAYI=
Content-Language: en-US
In-Reply-To: <usoi9m$1j3v1$5@i2pn2.org>
Bytes: 3275

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.

Since you know that is false why lie?
⊢* specifies an infinite set of encodings.

Since you know that is false why lie?
⊢* specifies an infinite set of encodings.

Since you know that is false why lie?
⊢* specifies an infinite set of encodings.


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