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

Liste des GroupesRevenir à theory 
Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 04. Apr 2025, 02:59:43
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <1645f6b2cfe0442e89650571ed26dd65d8253691@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
On 4/3/25 9:27 PM, olcott wrote:
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?
But if HHH doesn't do a complete emulation, it doesn't show that its input is non-halting, and if it does, it isn't the decider you claim, and thus it can't.

 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.
But HHH doesn't define the behavior of DDD, since it doesn't do a complete (and thus correct) emulation of its input.
You are just continuing to prove that you don't know what you are talking about, but are just a pathological liar that doesn't care if he is talking truth, or just lies.

 CAR T infusion tomorrow.
(drastic cancer treatment)
 
Which might be your cause of being utterly stupid and a liar, but it seems your stupidity goes back quite a while.
Sorry, but all you are doing is showing how broken your logic is, being based on the lies you make up about the meaning of terms that are well definied in the field.

Date Sujet#  Auteur
4 Apr 25 * DDD simulated by HHH cannot possibly halt (Halting Problem)206olcott
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)193olcott
5 Apr 25 i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)192Mikko
5 Apr 25 i `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)191olcott
6 Apr 25 i  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)190Mikko
6 Apr 25 i   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)189olcott
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)183Mikko
8 Apr 25 i     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)182olcott
8 Apr 25 i      +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)175Fred. Zwarts
8 Apr 25 i      i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)174olcott
8 Apr 25 i      i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)172Fred. Zwarts
9 Apr 25 i      i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)171olcott
9 Apr 25 i      i i +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)169Fred. 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)161olcott
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)117Mikko
11 Apr 25 i      i i i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)116olcott
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)113Mikko
11 Apr 25 i      i i i i i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)109Richard Heathfield
11 Apr16:56 i      i i i i ii+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)104olcott
11 Apr17:28 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)102joes
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)96olcott
13 Apr21:00 i      i i i i iii  +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)90dbush
13 Apr22:00 i      i i i i iii  i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots89olcott
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 robots68Richard Damon
14 Apr03:11 i      i i i i iii  i i`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots67olcott
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 robots58joes
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 Apr09:31 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