Yes. For example, in the bare metal (i.e. non-simulated world) you have various conservation laws, like the conservation of momentum or of energy. In a simulati

Yes. For example, in the bare metal (i.e. non-simulated world) you have various conservation laws, like the conservation of momentum or of energy. In a simulation with finite precision arithmetic, you might observe some round-off errors, which would translate in violations of the conservation law. A smart algorithm might try to keep the errors below a certain tolerance level (let's say 10^(50)). But then in some cases it might turn out to be uncomputable (undecidable). See for example [1] for examples of undecidable ray-tracing problem. [1] https://link.springer.com/article/10.1007/BF02574009 https://link.springer.com/article/10.1007/BF02574009