On 7/1/25 8:07 AM, olcott wrote:
*DDD correctly simulated by HHH cannot possibly reach*
*its own simulated "return" statement final halt state*
This statement is NOT true if HHH is a Halt Decider.
Your logic is all based on DDD being a singular entity, which doesn't
change through your logic, or else you can't use the fact that "DDD
correctly simulated" means anything, if DDD is actually a variable.
To be true, HHH needs to be a correct simulator, and then the input DDD
needs to be defined to include the code of the HHH that it calls
(dispite your attempts to say otherwise) and a "Correct Simuliaton of
the input" needs to simulate JUST the input, and thus to simulate the
call to HHH, the code for HHH must be part of the input.
Note, this means that DDD has been defined, and that definition includes
the code for HHH, which means that HHH has also been defined to be that
exact code, and nothing else, and thus for the statement to be true, the
one and only HHH that exists needs to be a correct simulator.
As you have shown, when HHH is a correct simulator, it will never reach
its final state, and thus it will never halt, and thus can't be a
decider, since deciders alwaus halt.
Thus, you statement is just not true if HHH is a Halt Decider, and thus
you statement is based on the assumption of an impossible case.
The fundamental issue is that for there to BE a "Correct Simulation",
and there to be only one DDD, the definition of DDD must include the
code for HHH, and thus there is only one HHH, so if THIS HHH doesn't do
a correct simulation, NO HHH (since it is the only one) does a correct simulation.
And, as has been shown, if THIS HHH does a correct simulation, it
doesn't answer and thus isn't a decider.
Your problem is you brain just can't seem to keep the rules that you
yourself impose on your system in place and keep you system compatible
with correct logic.
This shows the fundamental brokeness of your mental abilities, as it
seems you are unable to keep your mental view of the world / system
under discussion consistant with its reality.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)