Liste des Groupes | Revenir à theory |
On Thu, 15 May 2025 15:47:16 -0500, olcott wrote:Since HHH does correctly simulate itself simulating
I overcome the proof of undecidability of the Halting Problem in thatIt is not possible for HHH to simulate DD because we are already inside DD
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.
when we call HHH:
this is the category error manifest, the self-HHH correctly determines that DD is continuing to call
referential circular dependency of decider and program being analysed
which makes this undecidable; your attempt to treat detection of this as
non-halting is bogus.
/Flibble
Les messages affichés proviennent d'usenet.