Re: D simulated by H cannot possibly reach its own simulated final halt state

From	Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups	comp.theory, comp.lang.c++, comp.lang.c
Subject	Re: D simulated by H cannot possibly reach its own simulated final halt state
Followup-To	comp.theory
Date	2025-11-12 19:49 -0800
Organization	None to speak of
Message-ID	<87a50qpp5n.fsf@example.invalid> (permalink)
References	(5 earlier) <20251112120435.587@kylheku.com> <10f2rki$1n9tg$1@dont-email.me> <20251112182256.642@kylheku.com> <10f3g3p$1s928$3@dont-email.me> <20251112183914.319@kylheku.com>

Cross-posted to 3 groups.

Followups directed to: comp.theory

Show all headers | View raw

[...]

I note that a substantial fraction of the articles recently posted
to comp.lang.c (and probably comp.lang.c++) are cross-posted to
comp.theory, and are about the Halting Problem.

Some of these articles contain small fragments of C-like source code,
but I suggest that doesn't make them either topical or interesting
to most participants in the C and C++ newsgroups.

I humbly suggest, yet again, that these discussions be restricted
to comp.theory, and that users try to edit the "Newsgroups:" header
even when replying to a cross-posted article.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */

Thread

D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 20:34 -0600
  Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:42 +0000
    Re: D simulated by H cannot possibly reach its own simulated final halt state Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-11-12 19:49 -0800
      Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 22:36 -0600
        Re: D simulated by H cannot possibly reach its own simulated final halt state David Brown <david.brown@hesbynett.no> - 2025-11-13 08:54 +0100
          Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 00:21 -0800
          How to handle pathological cases (was Re: ...) Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-13 11:18 +0100
            Re: How to handle pathological cases (was Re: ...) Richard Harnden <richard.nospam@gmail.invalid> - 2025-11-13 12:14 +0000
              Re: How to handle pathological cases (was Re: ...) olcott <polcott333@gmail.com> - 2025-11-13 09:28 -0600
            Re: How to handle pathological cases (was Re: ...) olcott <polcott333@gmail.com> - 2025-11-13 09:15 -0600
          Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 09:22 -0600
      Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) gazelle@shell.xmission.com (Kenny McCormack) - 2025-11-13 12:36 +0000
        Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-13 13:49 +0100
          Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) gazelle@shell.xmission.com (Kenny McCormack) - 2025-11-13 12:55 +0000
          Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) olcott <polcott333@gmail.com> - 2025-11-13 09:26 -0600
        Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) olcott <polcott333@gmail.com> - 2025-11-13 09:24 -0600
  Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-12-14 20:59 -0500

csiph-web