Path: ...!feeds.phibee-telecom.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?=
Date: Sun, 10 Mar 2024 12:58:36 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <usl3dc$1enef$12@i2pn2.org>
References: <usia2e$2f2pd$1@dont-email.me> <usijm6$1bt2h$1@i2pn2.org>
 <usikk8$2gnhr$8@dont-email.me> <usiljd$2hc10$3@dont-email.me>
 <usineq$2hnpb$3@dont-email.me> <usiq9n$2ijsm$1@dont-email.me>
 <usir82$2inqh$2@dont-email.me> <usit21$2j3c8$1@dont-email.me>
 <usiufa$2j99n$1@dont-email.me> <usiukh$2jaj3$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> <uskssi$33a1p$4@dont-email.me>
 <usku6m$33lov$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 10 Mar 2024 19:58:37 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1531343"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <usku6m$33lov$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 4054
Lines: 43

On 3/10/24 11:29 AM, olcott wrote:
> On 3/10/2024 1:07 PM, immibis wrote:
>> On 10/03/24 17:52, olcott wrote:
>>> Unlike anything else that anyone else has ever done both H ⟨Ĥ⟩ ⟨Ĥ⟩
>>> and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ correctly determine that they must abort their own
>>> simulation to prevent their own infinite execution.
>>
>> Wrong, they incorrectly determine this because they determine this 
>> even though it is not true.
> 
> *Here is proof that what you said is counterfactual*
> H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy // Ĥ applied to ⟨Ĥ⟩ halts
> H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn // Ĥ applied to ⟨Ĥ⟩ does not halt
> 
> Execution trace of Ĥ applied to ⟨Ĥ⟩
> (a) Ĥ.q0 The input ⟨Ĥ⟩ is copied then transitions to Ĥ.H
> (b) Ĥ.H applied ⟨Ĥ⟩ ⟨Ĥ⟩ (input and copy) simulates ⟨Ĥ⟩ applied to ⟨Ĥ⟩
> (c) which begins at its own simulated ⟨Ĥ.q0⟩ to repeat the process
> 
> *Since I proved that you are wrong about many times you must be a Troll*
> *Since I proved that you are wrong about many times you must be a Troll*
> *Since I proved that you are wrong about many times you must be a Troll*
> 

Since you just repeat the same arguement, and fail to point out errors 
in the counter facts presents, it is clear that you KNOW you can't go 
any deeper into you your argument, because like most lies, it falls 
appart when looked at too closely.

H can't give the right answer, as what ever answer H gives, H^.H will 
give, and thus H^ will do the opposite and make H wrong.

If your (c) is correct, and H^.H does just run forever, that means the 
algorithm of H has no ability to detect a condition to stop it, and thus 
H will never abort its simulation either, so it never answers, and fails 
to be a decider.

This is perhaps the least wrong answer, as it at least doesn't GIVE a 
wrong answer, just fails to answer at all, but still means H isn't a 
Correct Halt Decider.

The fact that you keep repeating this and not learning, shows that you 
have a serious learning impediment on this topic, and are just proving 
your self to be a pathetic ignorant hypocritical pathological lying idiot.