Re: DD simulated by HHH cannot possibly halt (Halting Problem)

Liste des GroupesRevenir à cl c 
Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.lang.c
Date : 06. Apr 2025, 02:38:40
Autres entêtes
Organisation : Fix this later
Message-ID : <vsslv0$3gd7d$10@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 06/04/2025 02:23, Keith Thompson wrote:
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.
Fair point. Sorry.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Date Sujet#  Auteur
4 Apr 25 * DDD simulated by HHH cannot possibly halt (Halting Problem)52olcott
4 Apr 25 +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1olcott
4 Apr 25 +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)49Richard Heathfield
4 Apr 25 i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)47olcott
4 Apr 25 ii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)46Richard Heathfield
4 Apr 25 ii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)45olcott
4 Apr 25 ii  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)44Richard Heathfield
4 Apr 25 ii   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)43olcott
4 Apr 25 ii    `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)42Richard Heathfield
5 Apr 25 ii     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)41olcott
5 Apr 25 ii      `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)40Richard Heathfield
5 Apr 25 ii       `* DD simulated by HHH cannot possibly halt (Halting Problem)39olcott
5 Apr 25 ii        `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)38Richard Heathfield
5 Apr 25 ii         `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)37olcott
5 Apr 25 ii          +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)33dbush
5 Apr 25 ii          i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
5 Apr 25 ii          ii`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)2dbush
5 Apr 25 ii          ii `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii          i`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)29olcott
5 Apr 25 ii          i `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)28Richard Heathfield
5 Apr 25 ii          i  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)27olcott
5 Apr 25 ii          i   +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)16Richard Heathfield
5 Apr 25 ii          i   i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)13olcott
5 Apr 25 ii          i   ii`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)12Richard Heathfield
5 Apr 25 ii          i   ii `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)11olcott
5 Apr 25 ii          i   ii  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)10Richard Heathfield
6 Apr 25 ii          i   ii   `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)9olcott
6 Apr 25 ii          i   ii    `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)8Richard Heathfield
6 Apr 25 ii          i   ii     `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)7olcott
6 Apr 25 ii          i   ii      +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)5Richard Heathfield
6 Apr 25 ii          i   ii      i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3Keith Thompson
6 Apr 25 ii          i   ii      ii+- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Richard Heathfield
6 Apr 25 ii          i   ii      ii`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
6 Apr 25 ii          i   ii      i`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
6 Apr 25 ii          i   ii      `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1dbush
5 Apr 25 ii          i   i+- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Janis Papanagnou
6 Apr 25 ii          i   i`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1bart
5 Apr 25 ii          i   `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)10dbush
5 Apr 25 ii          i    `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)9olcott
5 Apr 25 ii          i     `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)8dbush
5 Apr 25 ii          i      `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)7olcott
5 Apr 25 ii          i       `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)6dbush
6 Apr 25 ii          i        `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)5olcott
6 Apr 25 ii          i         `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)4dbush
6 Apr 25 ii          i          `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
6 Apr 25 ii          i           `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)2dbush
6 Apr 25 ii          i            `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii          `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3Richard Heathfield
5 Apr 25 ii           +- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii           `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Janis Papanagnou
4 Apr 25 i`- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Chris M. Thomasson
18 Apr 25 `- Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal