Path: ...!weretis.net!feeder8.news.weretis.net!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?=
Date: Sun, 10 Mar 2024 00:57:53 +0100
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <usit21$2j3c8$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 9 Mar 2024 23:57:53 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="4126d891395d6dc0d505656e122bf909";
	logging-data="2723208"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+sdU6XSP7nHMEHWeS8l/57"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:dmACmYoXrnlyvzuOaoDor9EVZT0=
Content-Language: en-US
In-Reply-To: <usir82$2inqh$2@dont-email.me>
Bytes: 2787

On 10/03/24 00:26, olcott wrote:
> On 3/9/2024 5:10 PM, immibis wrote:
>> On 9/03/24 23:22, olcott wrote:
>>> On 3/9/2024 3:50 PM, immibis wrote:
>>>> On 9/03/24 22:34, olcott wrote:
>>>>>
>>>>> What criteria would you use so that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ knows what
>>>>> wrong answer to provide?
>>>>>
>>>>
>>>> Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is stipulated to use the exact same objective criteria 
>>>> that H ⟨Ĥ⟩ uses.
>>>
>>> Simulating halt deciders must make sure that they themselves
>>> do not get stuck in infinite execution. This means that they
>>> must abort every simulation that cannot possibly otherwise halt.
>>>
>>> This requires Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ to abort its simulation and does not
>>> require H ⟨Ĥ⟩ ⟨Ĥ⟩ to abort its simulation when Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ aborts
>>> its simulation.
>>>
>>> Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ does simulate itself in recursive simulation H ⟨Ĥ⟩ ⟨Ĥ⟩
>>> does not simulate itself in recursive simulation.
>>>
>>
>> Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is stipulated to use the exact same objective criteria 
>> that H ⟨Ĥ⟩ uses.
>>
> 
> *Only because Ĥ.H is embedded within Ĥ and H is not*
> Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can possibly get stuck in recursive simulation and
> H ⟨Ĥ⟩ ⟨Ĥ⟩ cannot possibly get stuck in recursive simulation.
> 

You dishonestly ignored that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is stipulated to use the exact 
same OBJECTIVE criteria that H ⟨Ĥ⟩ uses.