Overcoming the proof of undecidability of the Halting Problem by a simple example in C

Liste des GroupesRevenir à cl c++ 
Sujet : Overcoming the proof of undecidability of the Halting Problem by a simple example in C
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.lang.c comp.lang.c++ comp.ai.philosophy
Suivi-à : comp.theory
Date : 15. May 2025, 21:47:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1005jsk$3akrk$1@dont-email.me>
User-Agent : Mozilla Thunderbird
I overcome the proof of undecidability of the Halting
Problem in that the code that
"does the opposite of whatever value that HHH returns"
becomes unreachable to DD correctly simulated by HHH.
int DD()
  {
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
  }
HHH simulates DD that calls HHH(DD) to simulate itself
again over and over until HHH sees this repeating pattern
and aborts or both HHH and DD crash due to OOM error.
The key unresolved issue is whether or not HHH is supposed
to report on the actual behavior that its finite string
input actually specifies or some other basis.
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     would never stop running unless aborted then
The exact meaning of those words would seem to rule out
any other basis.
--
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
15 May 25 o Overcoming the proof of undecidability of the Halting Problem by a simple example in C1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal