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 : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.lang.c
Date : 06. Apr 2025, 02:20:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vssktd$3mggf$2@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
User-Agent : Mozilla Thunderbird
On 4/5/2025 8:40 PM, 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
Which according the the halting function:
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
A solution to the halting problem is an algorithm H that computes the following mapping:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly
Is HALTING, which HHH does not do.

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