Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: D correctly simulated by H cannot possibly halt --- templates and
 infinite sets --- deciders
Date: Fri, 31 May 2024 07:16:19 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3cbi3$2k3ld$3@i2pn2.org>
References: <v3501h$lpnh$1@dont-email.me> <v3a3a3$1nupq$1@dont-email.me>
 <v3a5fc$1o4q1$2@dont-email.me> <v3abb8$1paor$2@dont-email.me>
 <v3ahqd$1qehj$2@dont-email.me> <v3aie6$1qgep$1@dont-email.me>
 <v3ak85$1qoma$1@dont-email.me> <v3amp4$1r7kc$1@dont-email.me>
 <v3bf3j$22lio$1@dont-email.me> <v3bgek$22o6m$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 31 May 2024 11:16:19 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2756269"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v3bgek$22o6m$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 2403
Lines: 32

On 5/30/24 11:33 PM, olcott wrote:
> On 5/30/2024 10:10 PM, André G. Isaak wrote:
>> On 2024-05-30 14:15, olcott wrote:
>>
>>>
>>> D calls H(D,D) in recursive simulation until H stops this.
>>> THIS IS D'S FAULT!
>>
>>
>> The whole idea that something must be something's “fault” is 
>> completely misguided. A computation can either solve X or fail to 
>> solve X, but the idea that it’s failure is someone’s “fault” is really 
>> entirely absent from mathematics.
>>
>> André
>>
> 
> *Fred tried to get away with blaming H*
> 
> On 5/30/2024 2:32 PM, Fred. Zwarts wrote:
>  > It is H that keeps repeating the simulation of D and
>  > the next H, so the simulated H never reaches its abort,
>  > and therefore it does not reach its final state.
> 

Sure, because it is H that has the code that gets stuck or not, so blame 
goes to the one that had the option to change things.

If D gets in the infinte loop from H returning 1, then D is to blame for 
the infinite loop.

If H, despite being under the requirement to answer in finte time, 
doesn't do so, then H is to blame for D not halting.