Sujet : Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets --- deciders
De : agisaak (at) *nospam* gm.invalid (André G. Isaak)
Groupes : comp.theory sci.logicDate : 31. May 2024, 05:10:37
Autres entêtes
Organisation : Christians and Atheists United Against Creeping Agnosticism
Message-ID : <v3bf3j$22lio$1@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
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é
-- To email remove 'invalid' & replace 'gm' with well known Google mail service.
…