Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : Keith.S.Thompson+u (at) *nospam* gmail.com (Keith Thompson)
Groupes : comp.lang.cDate : 06. Apr 2025, 02:23:27
Autres entêtes
Organisation : None to speak of
Message-ID : <85jz7yhyls.fsf@nosuchdomain.example.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Gnus/5.13 (Gnus v5.13)
Richard Heathfield <
rjh@cpax.org.uk> writes:
[...]
No, it hasn't. Only if it can determine the correct halt status for
/any and every/ program will it do that... and it can't, for reasons
already explained many times in some depth.
olcott has largely taken over comp.theory, and his posts have dominated
that newsgroup for years.
Please stop helping him do the same to comp.lang.c.
-- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.comvoid Void(void) { Void(); } /* The recursive call of the void */