DDD simulated by HHH cannot possibly halt (Halting Problem)

Liste des GroupesRevenir à theory 
Sujet : DDD simulated by HHH cannot possibly halt (Halting Problem)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.lang.c comp.lang.c++
Suivi-à : comp.theory
Date : 04. Apr 2025, 02:27:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsnchj$23nrb$2@dont-email.me>
User-Agent : Mozilla Thunderbird
void DDD()
{
    HHH(DDD);
    return;
}
Do you really think that anyone knowing the C
programming language is too stupid to see that
DDD simulated by HHH cannot possibly return?
01   int DD(int (*x)())
02   {
03     int Halt_Status = HH(x, x);
04     if (Halt_Status)
05         HERE: goto HERE;
06     return Halt_Status;
07   }
08
09   int main()
10   {
11     Output("Input_Halts = ", HH(DD,DD));
12   }
DD simulated by HHH has the same behavior
as DDD simulated by HHH.
CAR T infusion tomorrow.
(drastic cancer treatment)
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
4 Apr 25 * DDD simulated by HHH cannot possibly halt (Halting Problem)210olcott
4 Apr 25 +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)6Richard Damon
4 Apr 25 i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5olcott
4 Apr 25 i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3Richard Damon
5 Apr 25 i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)2olcott
5 Apr 25 i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
4 Apr 25 i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Mikko
4 Apr 25 +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Mikko
5 Apr 25 +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)197olcott
5 Apr 25 i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)196Mikko
5 Apr 25 i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)195olcott
6 Apr 25 i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)194Mikko
6 Apr 25 i   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)193olcott
6 Apr 25 i    +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5Richard Damon
7 Apr 25 i    i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4olcott
7 Apr 25 i    i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3Richard Damon
8 Apr 25 i    i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)2olcott
8 Apr 25 i    i   `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
7 Apr 25 i    `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)187Mikko
8 Apr 25 i     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)186olcott
8 Apr 25 i      +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)179Fred. Zwarts
8 Apr 25 i      i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)178olcott
8 Apr 25 i      i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)176Fred. Zwarts
9 Apr 25 i      i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)175olcott
9 Apr 25 i      i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)173Fred. Zwarts
9 Apr 25 i      i i i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)7olcott
10 Apr 25 i      i i ii+- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
10 Apr 25 i      i i ii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5Fred. Zwarts
11 Apr 25 i      i i ii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4olcott
11 Apr 25 i      i i ii  +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i ii  +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
11 Apr 25 i      i i ii  `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
9 Apr 25 i      i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)165olcott
9 Apr 25 i      i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)30dbush
10 Apr 25 i      i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)29olcott
10 Apr 25 i      i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
10 Apr 25 i      i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)15dbush
10 Apr 25 i      i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)14olcott
10 Apr 25 i      i i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)10dbush
11 Apr 25 i      i i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)9olcott
11 Apr 25 i      i i i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)7dbush
11 Apr 25 i      i i i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)6olcott
11 Apr 25 i      i i i i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4dbush
13 Apr20:49 i      i i i i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3olcott
13 Apr20:53 i      i i i i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr01:11 i      i i i i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
10 Apr 25 i      i i i i i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3Richard Damon
11 Apr 25 i      i i i i i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)2olcott
11 Apr 25 i      i i i i i   `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
10 Apr 25 i      i i i i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)12Fred. Zwarts
11 Apr 25 i      i i i i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)11olcott
11 Apr 25 i      i i i i   +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)8dbush
13 Apr20:34 i      i i i i   i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)7olcott
13 Apr20:44 i      i i i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr00:01 i      i i i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
14 Apr09:28 i      i i i i   i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Mikko
14 Apr12:48 i      i i i i   i  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
14 Apr12:53 i      i i i i   i   +- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr23:27 i      i i i i   i   `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i i i   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)2Fred. Zwarts
11 Apr 25 i      i i i i    `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
10 Apr 25 i      i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)121Mikko
11 Apr 25 i      i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)120olcott
11 Apr 25 i      i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
11 Apr 25 i      i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)117Mikko
11 Apr 25 i      i i i i i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)113Richard Heathfield
11 Apr 25 i      i i i i ii+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)108olcott
11 Apr 25 i      i i i i iii+- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
13 Apr09:54 i      i i i i iii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)106joes
13 Apr11:08 i      i i i i iii +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5Richard Heathfield
13 Apr20:42 i      i i i i iii i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4olcott
13 Apr20:46 i      i i i i iii i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
13 Apr22:18 i      i i i i iii i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Heathfield
14 Apr00:05 i      i i i i iii i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
13 Apr20:59 i      i i i i iii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)100olcott
13 Apr21:00 i      i i i i iii  +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)94dbush
13 Apr22:00 i      i i i i iii  i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots93olcott
13 Apr22:03 i      i i i i iii  i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots17dbush
14 Apr00:32 i      i i i i iii  i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots16olcott
14 Apr00:51 i      i i i i iii  i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots14dbush
14 Apr03:09 i      i i i i iii  i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots13olcott
14 Apr03:12 i      i i i i iii  i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots11dbush
14 Apr12:46 i      i i i i iii  i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots10olcott
14 Apr12:52 i      i i i i iii  i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4dbush
14 Apr22:43 i      i i i i iii  i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots3olcott
14 Apr23:14 i      i i i i iii  i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1dbush
14 Apr23:52 i      i i i i iii  i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr13:33 i      i i i i iii  i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4joes
15 Apr02:23 i      i i i i iii  i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots3olcott
15 Apr02:30 i      i i i i iii  i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1dbush
15 Apr03:39 i      i i i i iii  i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr23:50 i      i i i i iii  i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr03:25 i      i i i i iii  i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr01:05 i      i i i i iii  i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr00:11 i      i i i i iii  i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots72Richard Damon
14 Apr03:11 i      i i i i iii  i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots71olcott
14 Apr03:13 i      i i i i iii  i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots7dbush
14 Apr13:01 i      i i i i iii  i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots6olcott
14 Apr13:22 i      i i i i iii  i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4dbush
14 Apr23:53 i      i i i i iii  i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr03:28 i      i i i i iii  i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr10:25 i      i i i i iii  i i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots62joes
14 Apr10:29 i      i i i i iii  i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots3joes
13 Apr21:46 i      i i i i iii  +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Fred. Zwarts
14 Apr00:08 i      i i i i iii  `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
12 Apr 25 i      i i i i ii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Mikko
13 Apr20:46 i      i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3olcott
11 Apr 25 i      i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Fred. Zwarts
10 Apr 25 i      i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Fred. Zwarts
13 Apr10:18 i      i i i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)9joes
10 Apr 25 i      i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
9 Apr 25 i      i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
8 Apr 25 i      +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5Mikko
8 Apr 25 i      `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
5 Apr 25 `* Proving the: Simulating termination analyzer Principle5olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal