This system’s complexity almost precludes the use of Python for modeling; a new functional programming language specifically designed for this task would likely be necessary, potentially incorporating category theory. Humans would verify the world model line by line.
Python is turing complete though so it should be enough. Of course we might prefer another language, especially one optimised for reading rather than writing, since that will be most of what humans do.
Python is turing complete though so it should be enough. Of course we might prefer another language, especially one optimised for reading rather than writing, since that will be most of what humans do.