Sujet : Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets --- deciders
De : jbb (at) *nospam* notatt.com (Jeff Barnett)
Groupes : comp.theory sci.logicDate : 31. May 2024, 04:48:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3bhb5$22soa$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 5/30/2024 9: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.
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.
PS Hope all goes well on your end.
-- Jeff Barnett