Overcoming the proof of undecidability of the Halting Problem by a sim
From olcott@3:633/280.2 to All on Fri May 16 06:47:16 2025
Subject: Overcoming the proof of undecidability of the Halting Problem by a
simple example in C
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