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

Liste des GroupesRevenir à cl c 
Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.c
Date : 06. Apr 2025, 04:31:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsssiu$d1q$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Mozilla Thunderbird
On 4/5/2025 8:08 PM, Richard Heathfield wrote:
On 06/04/2025 01:40, olcott wrote:
On 4/5/2025 6:35 PM, Richard Heathfield wrote:
On 06/04/2025 00:16, olcott wrote:
I am trying to explain how the actual HHH works
one step at a time.
>
But it doesn't, so you're wasting your time. The best you'll manage is to determine the termination status of /some/ programs. That's not in dispute. But all programs? Can't be done, as has been explained to you ad nauseam.
>
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
As long as HHH determines the correct halt status
of DD it has refuted ALL of the conventional HP proofs.
 No, it hasn't. Only if it can determine the correct halt status for /any and every/ program will it do that... and it can't, for reasons already explained many times in some depth.
 
Refuting the proofs and solving the halting problem
are two different things.
--
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)52olcott
4 Apr 25 +- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1olcott
4 Apr 25 +* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)49Richard Heathfield
4 Apr 25 i+* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)47olcott
4 Apr 25 ii`* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)46Richard Heathfield
4 Apr 25 ii `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)45olcott
4 Apr 25 ii  `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)44Richard Heathfield
4 Apr 25 ii   `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)43olcott
4 Apr 25 ii    `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)42Richard Heathfield
5 Apr 25 ii     `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)41olcott
5 Apr 25 ii      `* Re: DDD simulated by HHH cannot possibly halt (Halting Problem)40Richard Heathfield
5 Apr 25 ii       `* DD simulated by HHH cannot possibly halt (Halting Problem)39olcott
5 Apr 25 ii        `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)38Richard Heathfield
5 Apr 25 ii         `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)37olcott
5 Apr 25 ii          +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)33dbush
5 Apr 25 ii          i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
5 Apr 25 ii          ii`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)2dbush
5 Apr 25 ii          ii `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii          i`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)29olcott
5 Apr 25 ii          i `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)28Richard Heathfield
5 Apr 25 ii          i  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)27olcott
5 Apr 25 ii          i   +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)16Richard Heathfield
5 Apr 25 ii          i   i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)13olcott
5 Apr 25 ii          i   ii`* Re: DD simulated by HHH cannot possibly halt (Halting Problem)12Richard Heathfield
5 Apr 25 ii          i   ii `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)11olcott
5 Apr 25 ii          i   ii  `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)10Richard Heathfield
6 Apr 25 ii          i   ii   `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)9olcott
6 Apr 25 ii          i   ii    `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)8Richard Heathfield
6 Apr 25 ii          i   ii     `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)7olcott
6 Apr 25 ii          i   ii      +* Re: DD simulated by HHH cannot possibly halt (Halting Problem)5Richard Heathfield
6 Apr 25 ii          i   ii      i+* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3Keith Thompson
6 Apr 25 ii          i   ii      ii+- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Richard Heathfield
6 Apr 25 ii          i   ii      ii`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
6 Apr 25 ii          i   ii      i`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
6 Apr 25 ii          i   ii      `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1dbush
5 Apr 25 ii          i   i+- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Janis Papanagnou
6 Apr 25 ii          i   i`- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1bart
5 Apr 25 ii          i   `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)10dbush
5 Apr 25 ii          i    `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)9olcott
5 Apr 25 ii          i     `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)8dbush
5 Apr 25 ii          i      `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)7olcott
5 Apr 25 ii          i       `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)6dbush
6 Apr 25 ii          i        `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)5olcott
6 Apr 25 ii          i         `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)4dbush
6 Apr 25 ii          i          `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3olcott
6 Apr 25 ii          i           `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)2dbush
6 Apr 25 ii          i            `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii          `* Re: DD simulated by HHH cannot possibly halt (Halting Problem)3Richard Heathfield
5 Apr 25 ii           +- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1olcott
5 Apr 25 ii           `- Re: DD simulated by HHH cannot possibly halt (Halting Problem)1Janis Papanagnou
4 Apr 25 i`- Re: DDD simulated by HHH cannot possibly halt (Halting Problem)1Chris M. Thomasson
18 Apr 25 `- Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal