Deutsch   English   Français   Italiano  
<v3bhh7$22tq9$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= <agisaak@gm.invalid>
Newsgroups: comp.theory,sci.logic
Subject: Re: D correctly simulated by H cannot possibly halt --- templates and
 infinite sets --- deciders
Date: Thu, 30 May 2024 21:52:06 -0600
Organization: Christians and Atheists United Against Creeping Agnosticism
Lines: 20
Message-ID: <v3bhh7$22tq9$1@dont-email.me>
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> <v3bhb5$22soa$1@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 05:52:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1995368ced762adfb9362b5b412475ef";
	logging-data="2193225"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+5vi0e8I3P7MzXAXdgZdXq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+UMEEuzAPR83yvAgzn3E4Edm3RI=
In-Reply-To: <v3bhb5$22soa$1@dont-email.me>
Content-Language: en-US
Bytes: 2063

On 2024-05-30 21:48, Jeff Barnett wrote:
> On 5/30/2024 9:10 PM, André G. Isaak wrote:

>> 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.

> Andre, you know better than that. When the idiot wrote the program, 
> he/it is the one who is blameworthy. I know this should be treated as 
> the exception that proves the rule.

I stand corrected!

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.