What. A. Slog.

Liste des GroupesRevenir à c theory 
Sujet : What. A. Slog.
De : vallor (at) *nospam* cultnix.org (vallor)
Groupes : comp.theory
Date : 14. May 2025, 08:11:24
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1001fms$29d3f$1@dont-email.me>
User-Agent : Pan/0.162 (Hmm4; 7b109588; Linux-6.14.6)
Spent a couple of hours reading back the last few days of posts.  Huboy,
what a train wreck.  (But like a train wreck, it's hard to look
away, which might explain how this has been going on for 20(?) years.)

I want to thank both Richard's, wij, dbush, Mike, Keith, Fred,
Mikko, and anybody else I've forgotten for trying to explain to
Mr. Olcott and Mr. Flibble how you all see their claims.  I wanted to
point out three things:

a) Mr. Olcott claims his HHH simulator detects an non-terminating
input and halts.  But others (I forget who) report that -- due
to a bug -- D would actually terminate on its own.  His HHH
simulator therefore gives the wrong answer.

b) Mr. Olcott appears to agree with Turing at this point, but may
be unwilling to abandon the work he's spent so much time on.

c) (I am not a doctor.)  After seeing Mr. Olcott's representations
of Professor Sipser's words, as well as the way he edits his posts,
as well as the way he ignores clear refutation, my personal,
non-professional, opinion is that he's more deluded than
outright dishonest.  Hopefully he can avoid the latter in the future.

Finally, I agree with what others have posted:  this stuff doesn't belong
in comp.lang.c.  Mr. Olcott:  you actually have a few experts _and_
authorities in the C language reading you in this group.  Perhaps
you should follow their suggestions?  (Since the description of your
algorithms are expressed in C, you might want to concentrate on that,
rather than the compilers assembler language output.)

--
-v

Date Sujet#  Auteur
14 May 25 * What. A. Slog.24vallor
14 May 25 +* Re: What. A. Slog.2olcott
15 May 25 i`- Re: What. A. Slog.1Richard Damon
14 May 25 +* Re: What. A. Slog.20Mike Terry
14 May 25 i+* The exact words of this spec are met2olcott
15 May 25 ii`- Re: The exact words of this spec are met1Richard Damon
14 May 25 i`* Re: What. A. Slog.17Mike Terry
14 May 25 i `* HHH(DDD) correctly determines the halt status of its input according to this specification16olcott
14 May 25 i  +* Re: HHH(DDD) correctly determines the halt status of its input according to this specification7dbush
14 May 25 i  i+- Re: HHH(DDD) correctly determines the halt status of its input according to this specification1olcott
14 May 25 i  i`* Re: HHH(DDD) correctly determines the halt status of its input according to this specification5olcott
14 May 25 i  i +- Re: HHH(DDD) correctly determines the halt status of its input according to this specification1dbush
15 May 25 i  i `* Re: HHH(DDD) correctly determines the halt status of its input according to this specification3Mikko
16 May 25 i  i  `* Re: HHH(DDD) correctly determines the halt status of its input according to this specification2olcott
16 May 25 i  i   `- Re: HHH(DDD) correctly determines the halt status of its input according to this specification1Mikko
15 May 25 i  `* Re: HHH(DDD) correctly determines the halt status of its input according to this specification8Richard Damon
15 May 25 i   `* Re: HHH(DDD) correctly determines the halt status of its input according to this specification7olcott
15 May 25 i    +* Re: HHH(DDD) correctly determines the halt status of its input according to this specification5Richard Damon
15 May 25 i    i`* Re: HHH(DDD) correctly determines the halt status of its input according to this specification4olcott
15 May 25 i    i +* Re: HHH(DDD) correctly determines the halt status of its input according to this specification2Fred. Zwarts
16 May 25 i    i i`- Re: HHH(DDD) correctly determines the halt status of its input according to this specification1Mikko
15 May 25 i    i `- Re: HHH(DDD) correctly determines the halt status of its input according to this specification1Richard Damon
15 May 25 i    `- Re: HHH(DDD) correctly determines the halt status of its input according to this specification1Richard Heathfield
15 May 25 `- Re: What. A. Slog.1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal