Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
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 20:09:11 +0100
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <usl0gn$34290$2@dont-email.me>
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:09:11 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="845e6215760786f6cdaa9dc04d48a147";
	logging-data="3279136"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19zeqNGbznxnWGpLzyXC5KH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:V/TnS1tI1D0waL8vLtucDhbBfz4=
Content-Language: en-US
In-Reply-To: <usku6m$33lov$2@dont-email.me>
Bytes: 3158

On 10/03/24 19:29, 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*
> 

where is the proof? I see a bunch of bullshit, but no proof.