Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: ZFC solution to incorrect questions: reject them
Date: Fri, 15 Mar 2024 12:42:49 +0200
Organization: -
Lines: 29
Message-ID: <ut18n9$27u86$1@dont-email.me>
References: <usq5uq$e4sh$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> <usvrop$1sokc$5@i2pn2.org> <usvs99$1ru1i$5@dont-email.me> <usvu7u$1sokd$10@i2pn2.org> <ut027d$1tcdv$1@dont-email.me> <ut04hr$1tp1b$4@dont-email.me> <ut06cm$1u3jv$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="bf35ab5e3a8ea027439c5edfb6b78d66";
	logging-data="2357510"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19qUaMfUE0tjBYsTzc22AUb"
User-Agent: Unison/2.2
Cancel-Lock: sha1:aBZk/DLj1k8ujmUdWUHkH9jAaSo=
Bytes: 2778

On 2024-03-15 00:56:54 +0000, olcott said:

> On 3/14/2024 7:25 PM, immibis wrote:
>> On 15/03/24 00:45, olcott wrote:
>>> On 3/14/2024 5:37 PM, Richard Damon wrote:
>>>> 
>>>> No, YOU don't understand that the IS a correct answer, just not the one 
>>>> that H (or H^.H ) happens to give.
>>>> 
>>> 
>>> Then show me which contradicted answer is correct.
>>> 
>> 
>> D(D) halts so 1 would be the correct answer.
> 
> Strawman deception, that is not a contradicted answer from
> the following set:
> 
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
> ∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩))

False. That "D(D) halts so 1 would be the correct answer." is true.
It is contradicted by H(D,D) that says 0. Being in "following set",
which is not a set, was not asked.

-- 
Mikko