Re: DDD simulated by HHH cannot possibly halt (Halting Problem)

Liste des GroupesRevenir à c theory 
Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 04. Apr 2025, 09:09:44
Autres entêtes
Organisation : -
Message-ID : <vso448$2vtbd$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-04-04 01:27:15 +0000, olcott said:

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?
Anyone knowing the C language can see that if DDD() does not halt
it means that HHH(DDD) does not halt. The knowledge that that
means that HHH is not a decider is possible but not required.
--
Mikko

Date Sujet#  Auteur
4 Apr 25 * DDD simulated by HHH cannot possibly halt (Halting Problem)459olcott
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)446olcott
5 Apr 25 i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)445Mikko
5 Apr 25 i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)444olcott
6 Apr 25 i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)443Mikko
6 Apr 25 i   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)442olcott
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)436Mikko
8 Apr 25 i     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)435olcott
8 Apr 25 i      +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)428Fred. Zwarts
8 Apr 25 i      i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)427olcott
8 Apr 25 i      i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)425Fred. Zwarts
9 Apr 25 i      i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)424olcott
9 Apr 25 i      i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)422Fred. 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)414olcott
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 Apr 25 i      i i i i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)3olcott
13 Apr 25 i      i i i i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr 25 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 Apr 25 i      i i i i   i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)7olcott
13 Apr 25 i      i i i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr 25 i      i i i i   i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
14 Apr 25 i      i i i i   i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Mikko
14 Apr 25 i      i i i i   i  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
14 Apr 25 i      i i i i   i   +- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1dbush
14 Apr 25 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)370Mikko
11 Apr 25 i      i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)369olcott
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)366Mikko
11 Apr 25 i      i i i i i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)362Richard Heathfield
11 Apr 25 i      i i i i ii+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)357olcott
11 Apr 25 i      i i i i iii+- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
13 Apr 25 i      i i i i iii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)355joes
13 Apr 25 i      i i i i iii +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)5Richard Heathfield
13 Apr 25 i      i i i i iii i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4olcott
13 Apr 25 i      i i i i iii i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1dbush
13 Apr 25 i      i i i i iii i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Heathfield
14 Apr 25 i      i i i i iii i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Richard Damon
13 Apr 25 i      i i i i iii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)349olcott
13 Apr 25 i      i i i i iii  +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)343dbush
13 Apr 25 i      i i i i iii  i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots342olcott
13 Apr 25 i      i i i i iii  i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots18dbush
14 Apr 25 i      i i i i iii  i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots17olcott
14 Apr 25 i      i i i i iii  i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots15dbush
14 Apr 25 i      i i i i iii  i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots14olcott
14 Apr 25 i      i i i i iii  i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots12dbush
14 Apr 25 i      i i i i iii  i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots11olcott
14 Apr 25 i      i i i i iii  i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots5dbush
14 Apr 25 i      i i i i iii  i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4olcott
14 Apr 25 i      i i i i iii  i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1dbush
14 Apr 25 i      i i i i iii  i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
22 Apr 25 i      i i i i iii  i i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1joes
14 Apr 25 i      i i i i iii  i i i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots4joes
15 Apr 25 i      i i i i iii  i i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots3olcott
15 Apr 25 i      i i i i iii  i i i i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1dbush
15 Apr 25 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 Apr 25 i      i i i i iii  i i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i i `- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots312Richard Damon
14 Apr 25 i      i i i i iii  i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots311olcott
14 Apr 25 i      i i i i iii  i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots7dbush
14 Apr 25 i      i i i i iii  i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots6olcott
14 Apr 25 i      i i i i iii  i i +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots1Richard Damon
14 Apr 25 i      i i i i iii  i i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots302joes
14 Apr 25 i      i i i i iii  i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots11joes
13 Apr 25 i      i i i i iii  +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)4Fred. Zwarts
14 Apr 25 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 Apr 25 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 Apr 25 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