All models are approximations and there is compute and time distance from the modeled.
And then the model checker is important, I pursue dynamic models and dynamic checking: https://en.wikipedia.org/wiki/Model_checking ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T8fe5317c3cebf70b-M3bd48a03b3ddeec8a03d1c91 Delivery options: https://agi.topicbox.com/groups/agi/subscription