You can use arrow keys to navigate in the map.
I realized: the claim is an assumption, not an empirical claim. It is much like positing the existence of force laws; it cannot be found to contradict with observations, but is not derivable from them. Therefore it is not subject to validation by logical debate.
Life (as a natural system) is an example.
Not all models are simulable; only those which are isomorphic to a formal computation are simulable.
All models are isomorphic to a formal computation.