Re: Any honest person that knows the x86 language can see... predict correctly

Liste des GroupesRevenir à c theory 
Sujet : Re: Any honest person that knows the x86 language can see... predict correctly
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 01. Aug 2024, 09:33:43
Autres entêtes
Organisation : -
Message-ID : <v8fh97$234i8$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Unison/2.2
On 2024-08-01 04:03:36 +0000, wij said:

int main()
{
   HHH(DDD);
}
That is not very useful. Running this program may demostrate that
HHH answers but does not reveal the answer. The program should be:
void output(char *); // in Olcott's library
int main () {
  output("Asking HHH whether DDD will halt.");
  int ans = HHH(DDD);
  if (ans) {
    output("HHH predicts that DDD will halt.");
  } else {
    output("HHH predicts that DDD will not halt.");
  }
  output("Running DDD");
  DDD();
  output("DDD halted");
  return ans;
}
--
Mikko

Date Sujet#  Auteur
6 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal