XPost: comp.theory, sci.logic
On 3/9/23 7:22 PM, olcott wrote:
A simulating halt decider (SHD) correctly predicts what the behavior of
its input would be if it never aborted the simulation of this input. It
does this by correctly recognizing several non-halting behavior patterns
in a finite number of steps of correct simulation. Inputs that do
terminate are simply simulated until they complete.
*The meaning of these words prove that they are true*
Whenever a simulating halt decider correctly predicts that it must abort
the simulation of its input to prevent the infinite simulation of this
input it is always necessarily correct to reject this input as non-
halting.
A LIE.
The meaning of Halting refers to the actual behavior of the ACTUAL
machine directly executed
You above statement refers to a simulation of that machine.
Since Simulation is NOT "Actual Executed", it isn't "By the meaning of
the words".
You are thus also proved to be a Hypocrite, as this has been pointed out before, and since you insist that for a statment to be true, it must be provable by a link via semantic conections from the "Truth Makers" of
the system, you refusal to do that, shows you are just a Hypocrite.
H(D,D)==0 indicates that H is asserting the verified fact that D(D)
would never stop running unless H aborts its simulation of D.
So, you admit that your Simulating Halt Decider isn't an actual Halt
Decider as those need to report on the ACTUAL BEHAVIOR of the ACTUAL
MACHINE, which you admit is Halting.
Or you are just a LIAR.
After a H modifies the behavior of D(D) by aborting its simulation of D
the subsequent behavior of D(D) no longer an accurate measure of its
actual behavior.
Programs can't "modify" the behavior of other programs.
H aborting its simulation of the input D,D doesn't do ANYTHING to the
actual behavor of the program D(D) which was ALWAYS just based on the
direct execution of the code of D which calls the actual H that exists,
which you just said returns 0, so D(D) Halts.
You are just proving you don't understand how programs work, or what "Simulation" actually means.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)