Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]

On 2024-05-10 18:16:37 +0000, olcott said:

On 3/1/2024 12:41 PM, Mike Terry wrote:

Obviously a simulator has access to the internal state (tape contents etc.) of the simulated machine.  No problem there.
 What isn't allowed is the simulated machine altering its own behaviour by accessing data outside of its own state.  (I.e. accessing data from its parent simulators state.)
 While an "active-simulator" [my own term] is at liberty to combine
straight simulation with add-on "enhancements" that extend the
functionality of the simulated machine, in doing so it would no
longer be a simulator in the sense you need it to be.  So you
mustn't do this!

In principle an incorrect simulation is permissible. However, to prove
that the result inferred from an incorrect simulation is correct may
be impossible.

*You did not provide complete reasoning justifying this proclamation*
*You did not provide complete reasoning justifying this proclamation*
*You did not provide complete reasoning justifying this proclamation*

The provided reasoning is sufficient. You can continue reasoning from
that if you want more.

Because the simulator must perform every detail of the simulation of
the underlying machine it can watch every single state change of this
underlying machine and this does not change the behavior of the
simulated input AT ALL (relative to not watching the state changes).

Yes, that is a correct interpretation.
--
Mikko