Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++

Liste des GroupesRevenir à theory 
Sujet : Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 18. Jun 2025, 17:02:41
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <417116f09bed783b8b99ab1cdac713d208e27026@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 18 Jun 2025 10:08:11 -0500 schrieb olcott:
On 6/17/2025 8:33 PM, Richard Damon wrote:
On 6/17/25 11:11 AM, olcott wrote:

When it is understood that HHH does simulate itself simulating DDD
then any first year CS student knows that when each of the above are
correctly simulated by HHH that none of them ever stop running unless
aborted.
But since HHH *DOES* abort
That is not given.
What? The code says so.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

Date Sujet#  Auteur
12 Jun 25 * HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT52olcott
13 Jun 25 +* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT17Fred. Zwarts
13 Jun 25 i`* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT16olcott
13 Jun 25 i +* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT14Richard Damon
13 Jun 25 i i`* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT13olcott
13 Jun 25 i i `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT12Richard Damon
13 Jun 25 i i  `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT11olcott
13 Jun 25 i i   `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT10Richard Damon
13 Jun 25 i i    `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT9olcott
14 Jun 25 i i     `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT8Richard Damon
14 Jun 25 i i      `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT7olcott
14 Jun 25 i i       `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT6Richard Damon
14 Jun 25 i i        `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT5olcott
14 Jun 25 i i         +- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT1Fred. Zwarts
14 Jun 25 i i         `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT3Richard Damon
14 Jun 25 i i          `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT2olcott
14 Jun 25 i i           `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT1Richard Damon
14 Jun 25 i `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT1Fred. Zwarts
13 Jun 25 `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT34Mikko
13 Jun 25  +* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT27olcott
14 Jun 25  i+* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT25Fred. Zwarts
14 Jun 25  ii`* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT24olcott
15 Jun 25  ii +* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT20Fred. Zwarts
15 Jun 25  ii i`* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++19olcott
16 Jun 25  ii i `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++18Mikko
16 Jun 25  ii i  `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++17olcott
17 Jun 25  ii i   +* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++8Richard Damon
17 Jun 25  ii i   i`* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++7olcott
18 Jun 25  ii i   i `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++6Richard Damon
18 Jun 25  ii i   i  `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++5olcott
18 Jun 25  ii i   i   +* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++3joes
18 Jun 25  ii i   i   i`* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++2olcott
19 Jun 25  ii i   i   i `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Richard Damon
19 Jun 25  ii i   i   `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Richard Damon
17 Jun 25  ii i   `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++8Mikko
17 Jun 25  ii i    `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++7olcott
18 Jun 25  ii i     `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++6Mikko
18 Jun 25  ii i      `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++5olcott
19 Jun 25  ii i       +- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Richard Damon
19 Jun 25  ii i       `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++3Mikko
19 Jun 25  ii i        `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++2olcott
20 Jun 25  ii i         `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Richard Damon
15 Jun 25  ii `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT3Mikko
15 Jun 25  ii  `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT2olcott
16 Jun 25  ii   `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT1Mikko
14 Jun 25  i`- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT1Mikko
14 Jun 25  `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++6olcott
14 Jun 25   +- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Richard Damon
15 Jun 25   `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++4Mikko
15 Jun 25    `* Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++3olcott
15 Jun 25     +- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Richard Damon
16 Jun 25     `- Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT +++1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal