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: Re: ZFC solution to incorrect questions: reject them
Date: Thu, 14 Mar 2024 20:14:58 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <ut07ei$1u3jv$8@dont-email.me>
References: <usq5uq$e4sh$1@dont-email.me> <usqhoj$gtih$2@dont-email.me>
 <usql2f$1m5uu$2@i2pn2.org> <usqmdi$hu9o$1@dont-email.me>
 <usqn3v$i33s$1@dont-email.me> <usqo6h$hubd$3@dont-email.me>
 <usqp0u$ie7v$1@dont-email.me> <usqq3p$iit2$1@dont-email.me>
 <usqqto$ipr7$1@dont-email.me> <usqrcq$iit2$3@dont-email.me>
 <usqu5h$jamh$1@dont-email.me> <usr0in$jp1l$2@dont-email.me>
 <usr2bv$k5kt$1@dont-email.me> <usr3ph$kdfp$2@dont-email.me>
 <usr7oo$1mk0f$5@i2pn2.org> <usr83l$on40$5@dont-email.me>
 <ussl5b$11m35$3@dont-email.me> <ussmik$11q5n$6@dont-email.me>
 <ussp50$1oq7p$7@i2pn2.org> <ust3ls$14v0p$1@dont-email.me>
 <ust6dn$1oq9q$9@i2pn2.org> <ust7b4$15m14$3@dont-email.me>
 <usta7k$1oq7p$17@i2pn2.org> <ustbdp$16peb$1@dont-email.me>
 <usvcdu$1scss$1@i2pn2.org> <usvjd9$1prhb$4@dont-email.me>
 <usvm70$1sokc$1@i2pn2.org> <usvmii$1qp6a$5@dont-email.me>
 <usvo5q$1sokc$2@i2pn2.org> <usvoep$1rdem$2@dont-email.me>
 <ut04ds$1tp1b$2@dont-email.me> <ut068c$1u3jv$2@dont-email.me>
 <ut074d$1tev8$4@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Mar 2024 01:14:58 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="628c0b780d2c261756f82ddadd066eb3";
	logging-data="2035327"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX194R14AXv+ZjQ719MrBOQZt"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/v7DpDnbz7EFBTc3c540e9FP0KM=
Content-Language: en-US
In-Reply-To: <ut074d$1tev8$4@i2pn2.org>
Bytes: 3115

On 3/14/2024 8:09 PM, Richard Damon wrote:
> On 3/14/24 5:54 PM, olcott wrote:
>> On 3/14/2024 7:23 PM, immibis wrote:
>>> On 14/03/24 21:59, olcott wrote:
>>>> Then tell me which element of:
>>>> ∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩)) is correct and make sure that
>>>> you explain why this element is correct and don't try to switch
>>>> to any other element outside of the above specified set.
>>>
>>> Syntactically invalid question.
>>>
>> In any language that you are familiar with.
>>
> 
> Well, since the bases of your question is a false premise, there is no 
> language it can be properly expresses in truthfully.
> 

Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩))

There is no false premise above.
If there was you would have already pointed it out.

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