Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= 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: References: 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: 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.