Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #133027
| From | Keith Thompson <Keith.S.Thompson+u@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c |
| Subject | Re: My two specifications are equivalent HHH(DD)==0 is correct |
| Date | 2025-10-19 12:56 -0700 |
| Organization | None to speak of |
| Message-ID | <877bwqekca.fsf@example.invalid> (permalink) |
| References | <10cvt5r$1pcof$1@dont-email.me> <10d093b$1sgj8$1@dont-email.me> <10d09b1$1sjqs$1@dont-email.me> <10d0d5t$1tm7u$1@dont-email.me> <10d2cnd$2dbok$2@dont-email.me> |
Cross-posted to 2 groups.
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk>
writes:
> On 18/10/2025 16:53, vallor wrote:
>> You aren't posting about C.
>>
>> And I notice you crossposted this article (which has nothing to do with
>> C) and didn't set the followup-to (as you claimed you were going to do).
>
> His reply was an honest enquiry about the proper use of comp.lang.c.
>
> How about you paste into your reply to him on comp.lang.c a copy of the
> big-8 steering board's rules for comp.lang.c.
[...]
Are you under the impression that the board has specific rules for
comp.lang.c?
Some newsgroups have charters. comp.lang.c does not, since it was
created before newsgroup charters were introduced.
(I personally encourage everyone not to reply to olcott's posts in
comp.lang.c. He's already taken over one newsgroup.)
--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 06:20 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Richard Damon <Richard@Damon-Family.org> - 2025-10-18 07:49 -0400
Re: My two specifications are equivalent HHH(DD)==0 is correct vallor <vallor@vallor.earth> - 2025-10-18 14:43 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 09:48 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct vallor <vallor@vallor.earth> - 2025-10-18 15:53 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 10:59 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-18 17:06 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 12:09 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-18 20:16 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 17:38 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-20 12:17 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 12:08 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-21 09:02 +0100
The halting problem is either incoherent or the proof wrong olcott <polcott333@gmail.com> - 2025-10-18 19:06 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 17:26 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-18 23:30 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 20:06 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-19 18:12 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:17 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 18:50 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 14:50 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-20 20:19 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 15:24 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:54 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-20 14:50 -0700
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:35 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:33 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct dbush <dbush.mobile@gmail.com> - 2025-10-20 16:57 -0400
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 16:10 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct dbush <dbush.mobile@gmail.com> - 2025-10-20 17:34 -0400
Re: My two specifications are equivalent HHH(DD)==0 is correct Richard Heathfield <rjh@cpax.org.uk> - 2025-10-19 05:57 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 09:40 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-19 18:24 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:17 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-19 18:04 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-10-20 02:30 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:54 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 18:31 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 15:35 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:57 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:15 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 18:35 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 15:36 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:58 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-18 13:31 -0700
Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-19 10:58 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 09:57 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-10-19 12:56 -0700
Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-20 11:50 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-18 17:03 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 12:07 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-18 12:54 -0700
Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-18 13:26 -0700
Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-19 10:43 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 09:55 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct dbush <dbush.mobile@gmail.com> - 2025-10-19 12:15 -0400
Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-20 09:36 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:59 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-20 17:15 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 12:33 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 19:03 +0000
HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 14:17 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:47 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 16:06 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 21:11 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 16:44 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 22:57 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 18:19 -0500
Re: HHH(DD) Input exactly matches non-halting behavior dbush <dbush.mobile@gmail.com> - 2025-10-20 19:46 -0400
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 00:03 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 19:14 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 01:29 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 20:35 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 02:03 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 21:22 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 03:06 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 22:18 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 03:30 +0000
Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 22:39 -0500
Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 05:38 +0000
Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-20 12:09 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct Richard Heathfield <rjh@cpax.org.uk> - 2025-10-20 12:49 +0100
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 12:10 -0500
Re: My two specifications are equivalent HHH(DD)==0 is correct Mikko <mikko.levanto@iki.fi> - 2025-10-19 14:03 +0300
Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 11:28 -0500
csiph-web